History of comlib @23bb376c-46df-4344-92e3-c1dc267a8cb3/main
- Fixed wrong determination of debug-mode. Toshimi Sawada 5 years ago
- Add type delcarations for future enhancements. tswd 5 years ago
- Allow sbcl compiler to optimization in print utils. tswd 5 years ago
- Add type declaration of globals. Toshimi Sawada 5 years ago
- new switch 'show every finding'. Toshimi Sawada 5 years ago
- Fix really bad style warnings. Toshimi Sawada 5 years ago
- Delete obsolete codes. Toshimi Sawada 5 years ago
- Reports a reason of exiting with an error. Toshimi Sawada 5 years ago
- old switch 'clean memo' is enabled again tswd 5 years ago
- Term memoization during rewriting now uses Common Lisp hash table. Toshimi Sawada 5 years ago
- ACL windows version: Catch up to recent modifications. Toshimi Sawada 6 years ago
- Under new term structure, we introduced a new type. tswd 6 years ago
- Recover wrongly deleted function. tswd 6 years ago
- Modified due to the changes of term structure. tswd 6 years ago
- Fixed improper error messages. tswd 6 years ago
- Handling errors in batch mode. tswd 6 years ago
- Introduced a new execution mode 'development mode'. tswd 6 years ago
- First try of error handling in batch mode. tswd 6 years ago
- Delete almost all 'in progress' markers. tswd 7 years ago
- Bug Fix: handling multi line comments properly. tswd 7 years ago
- Fixed a typo in a message. tswd 7 years ago
- if newly introduced flag 'tree horizontal' is on (default off), tswd 8 years ago
- '=(,)=> suchThat {T}' print out T in grind form iff T is of term Bool tswd 8 years ago
- binspector's fellow new command 'bguess' is instroduced. tswd 8 years ago
- bresolve now accepts additional optional argument 'all'. tswd 8 years ago
- Enhanced 'binspect' command. Solutions are searched like width first manner. tswd 8 years ago
- work on require supporting foo::bar Norbert Preining 8 years ago
- For sbcl, handle EOF(#\Eot) properly. tswd 8 years ago
- update copyrights to 2015 Norbert Preining 8 years ago
- Fix problem with handling non existing file with suffixes on sbcl version. tswd 8 years ago