Tree @debian/1.5.4-2 (Download .tar.gz)
History of chaos / decafe @debian/1.5.4-2
- Fixed insufficient check of strictness of morphism. tswd 8 years ago
- update copyrights to 2015 Norbert Preining 8 years ago
- * Started implementing inspecter for Bool valued terms. tswd 8 years ago
- Untabified the all of the source codes. The cause is unknown, but tswd 8 years ago
- * Allow 'show op <op-name>' can end with full stop(.) tswd 8 years ago
- Start refactoring. NOTE: does compile but does not work many cases. 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
- * Changed proof strategy for more easily walk through the proof tree. tswd 9 years ago
- * Prevent associative extension of rules if RHS is bilt-in form. tswd 10 years ago
- * update variable check of search predicate. tswd 10 years ago
- * various minor fixes for SBCL platform. tswd 10 years ago
- Merge branch 'develop' tswd 10 years ago
- * Changed processors of language constructs for enhancing expandability and code clarity. tswd 10 years ago
- * Fix: rare crash case as transfering operators from imported module. tswd 10 years ago
- * version 1.4.12: patch level 4 tswd 10 years ago
- Bug fix: :m-and/:m-or does not works in opened modules. tswd 10 years ago
- (1) Removed various working files from the repository. tswd 11 years ago
- Fix for assoc ops term LP during rewriting. tswd 11 years ago
- Brand new trunk of 2012 CafeOBJ interpreter. tswd 11 years ago