History of chaos / boot @a33d772e-8c69-43ca-859d-547603521937/main
- moved to more proper place. Toshimi Sawada 5 years ago
- Fix really bad style warnings. Toshimi Sawada 5 years ago
- make clearnce of term memotable more rigid. tswd 5 years ago
- Modified due to the changes of term structure. tswd 6 years ago
- update copyrights to 2015 Norbert Preining 8 years ago
- Untabified the all of the source codes. The cause is unknown, but tswd 8 years ago
- Fix a bug in parsing terms of builtin sort Float. tswd 9 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
- * Changed proof strategy for more easily walk through the proof tree. tswd 9 years ago
- * introduced /\ tswd 9 years ago
- * update variable check of search predicate. tswd 10 years ago
- * Various fixes for SBCL platform. tswd 10 years ago
- * *.bin -> *.cafe tswd 10 years ago
- * Adding support for a metalevel core part. tswd 10 years ago
- * Removed many junks. tswd 10 years ago
- * For enhancing expandability and code clarity, changed top level command processors. tswd 10 years ago
- * Fixed a bug in 'matching equation (:=)'. tswd 10 years ago
- CafeOBJ 1.4.12 release version. tswd 10 years ago
- Exprimental implementation of :m-and/m:-or. tswd 10 years ago
- * Fixed a bug: AC matching of graph structured terms. Not completely but works. tswd 10 years ago
- Add metalevel stage 1, with some bug fixes. tswd 10 years ago
- 1st try to port to several Common Lisp platforms. tswd 11 years ago
- Brand new trunk of 2012 CafeOBJ interpreter. tswd 11 years ago