History of chaos / decafe @run/d09e403f-5d03-429e-ad4e-be07e2a13b8f/main
- Fix: non-exec property of an axiom is not passed to a new axiom Toshimi Sawada 6 years ago
- Modified due to the changes of term structure. tswd 6 years ago
- Fixed a bug in renaming import. Very stupid! tswd 7 years ago
- Fix: theory axioms such as assoc, comm are properly generated in copied module. tswd 7 years ago
- Fix: User declared error operators are properly :using imported. tswd 7 years ago
- When evaluating a module expression, evaluating mapped axiom declarations are tswd 7 years ago
- Fixed a bug: :nonexec label is ineffective in copied modules tswd 8 years ago
- 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