History of BigPink @75a5dd28-a968-4842-a7e1-59cd555eba23/main
- Delete unused type predicates. Toshimi Sawada 5 years ago
- Code clean up, and supress sbcl's style-warnings. tswd 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
- * 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
- CITP: We can use first order fomula as goal sentences. tswd 8 years ago
- Start refactoring. NOTE: does compile but does not work many cases. tswd 9 years ago
- * Delete obsolete documents. tswd 9 years ago
- Preparing for broader distritution, added license headers to codes. tswd 9 years ago
- * House keeping. Deleted (moved) tex intermediate files & other garbages. tswd 9 years ago
- * introduced /\ tswd 9 years ago
- House keeping. Delete obsolete and personal stuff. tswd 9 years ago
- * update variable check of search predicate. tswd 10 years ago
- * Various fixes for SBCL platform. tswd 10 years ago
- * For enhancing expandability and code clarity, changed top level command processors. tswd 10 years ago
- Merge branch 'newmanual' of https://bitbucket.org/tswd/cafeobj into develop tswd 10 years ago
- Add metalevel stage 1, with some bug fixes. tswd 10 years ago
- (1) Removed various working files from the repository. tswd 11 years ago
- 1st try to port to several Common Lisp platforms. tswd 11 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 PigNose. 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