History of chaos / term-parser @debian/1.5.0-1
- Preparing for broader distritution, added license headers to codes. tswd 9 years ago
- * Changed proof strategy for more easily walk through the proof tree. tswd 9 years ago
- * Improved #define. It now accepts more complex arguments. tswd 9 years ago
- * Fixed the 'A _:is_ B' becomes TypeErr unless A and B is in same connected component. tswd 9 years ago
- * Canonicalize variables in terms. tswd 9 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
- * *.bin -> *.cafe tswd 10 years ago
- * Adding support for a metalevel core part. tswd 10 years ago
- Delete obsolete commands. tswd 10 years ago
- Exprimental implementation of :m-and/m:-or. tswd 10 years ago
- * changed the treatment of dynamic vs. static variable declaration with the same name(exprimental). tswd 10 years ago
- Some modification for porting to clisp. tswd 11 years ago
- Changed an example for fitting newly introduced limitation of generic operators. tswd 11 years ago
- Fix: when term parser selects among possible parses, there can be ones of built-in constants. tswd 11 years ago
- 1. Optimized term parser for not accumulate same forms for possible arguments. 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