Tree @debian/1.5.4-2 (Download .tar.gz)
History of chaos / cafein @debian/1.5.4-2
- * When applying rule, warning msg will be printed if match method is not yet computed. tswd 8 years ago
- Treatment of =*= proof in which match method is not computed yet. tswd 8 years ago
- After reducing a term, system re-arranges it structure if it has associative operator on top. tswd 8 years ago
- Fixed the problem with reduction immediately after adding an axiom in opening module. tswd 8 years ago
- update copyrights to 2015 Norbert Preining 8 years ago
- Fixed a problem of term hash. tswd 8 years ago
- New command 'bshow [tree]', and 'bresolve'. tswd 8 years ago
- * Started implementing inspecter for Bool valued terms. tswd 8 years ago
- Deleted obsolate codes. tswd 8 years ago
- Fixed degraded term memoization in rewriting. tswd 8 years ago
- Improved checking extra variables in RHS. Vars introduced by := are tswd 8 years ago
- Corrected a typo in step mode prompt. tswd 8 years ago
- Untabified the all of the source codes. The cause is unknown, but tswd 8 years ago
- Fixed improper reset timing of variable substitution made by _:=_. tswd 8 years ago
- * Fix inconsistency of libpath switch. tswd 8 years ago
- Fixed the parsing problem introduced by the change in ordering algorithm of operators. tswd 8 years ago
- Fixes for SBCL. tswd 9 years ago
- Introduced a new module 'reducer' which incorporates various flags/counters for term rewriting tswd 9 years ago
- Start refactoring. NOTE: does compile but does not work many cases. tswd 9 years ago
- Introduced new meta label :m-and-also and :m-or-else tswd 9 years ago
- Preparing for broader distritution, added license headers to codes. tswd 9 years ago
- * Fixed various problems of citp cafe. tswd 9 years ago
- Bug fix: now search predicate correctly recognizes :no-exec rule label. tswd 9 years ago
- * Fix: =(*,1)=> if .. prints substitution properly. tswd 9 years ago
- Merge branch 'develop' tswd 10 years ago
- * There can be a case in which expansion of :m-and by 'and-also' causes normalization to be failed. tswd 10 years ago
- Merge branch 'develop' tswd 10 years ago
- * For enhancing expandability and code clarity, changed top level command processors. tswd 10 years ago
- Merge branch 'develop' tswd 10 years ago
- Delete obsolete commands. tswd 10 years ago