History of chaos @debian/1.5.9-1

• Changed trace output stream from *error-output* to T, Toshimi Sawada 5 years ago
• Fixed wrong determination of debug-mode. Toshimi Sawada 5 years ago
• fixed wrong type declaration. tswd 5 years ago
• Similarity of axioms include :nonexec property. tswd 5 years ago
• Calm down aggressive sbcl compiler. tswd 5 years ago
• Move symbol table related functions to more proper place. Toshimi Sawada 5 years ago
• Delete unused type predicates. Toshimi Sawada 5 years ago
• Add type delcarations for future enhancements. tswd 5 years ago
• Makes 'defterm' generating type declaration. tswd 5 years ago
• Fix a bug in an old switch 'rewrite limit' tswd 5 years ago
• Prevent crash caused by SBCL compiler's optimization. Toshimi Sawada 5 years ago
• Fixed a bug in parsing opref declared in mappings. Toshimi Sawada 5 years ago
• Code clean up, and supress sbcl's style-warnings. tswd 5 years ago
• moved to more proper place. Toshimi Sawada 5 years ago
• A small optimizations Toshimi Sawada 5 years ago
• It seems no one did 'exec+ <term>'. tswd 5 years ago
• correct typo. Toshimi Sawada 5 years ago
• new switch 'show every finding'. Toshimi Sawada 5 years ago
• Prevent strange behavior of sbcl while printing sort object. Toshimi Sawada 5 years ago
• Statistics does not print hash count no more. Toshimi Sawada 5 years ago
• Fix really bad style warnings. Toshimi Sawada 5 years ago
• Search predicate should use plain old hash mechanisms for treating Toshimi Sawada 5 years ago
• Fixed a wrong type declaration by which 'show op _+_ .' clashes. Toshimi Sawada 5 years ago
• Fixed wrong type declaration. Toshimi Sawada 5 years ago
• type! tswd 5 years ago
• Allow compiler optimize the reference to symbol table. Toshimi Sawada 5 years ago
• delete .hash-size. which is useless. Toshimi Sawada 5 years ago
• old switch 'clean memo' is enabled again tswd 5 years ago
• Add type declarations (a small optimizations) tswd 5 years ago
• A bit of optimizations. tswd 5 years ago