History of chaos @debian/1.5.8-1

• Fix a bug in id-completion of conditional axiom. tswd 5 years ago
• 'Variables as Constants' are automatically applied only in the context of :init command. Toshimi Sawada 5 years ago
• Fix: non-exec property of an axiom is not passed to a new axiom Toshimi Sawada 6 years ago
• Fix inapropreate treatment of the context of parameter module. tswd 6 years ago
• Little bit more description in verbose mode during id completion. tswd 6 years ago
• More informative system message for id completion. tswd 6 years ago
• Fix: id completion tswd 6 years ago
• Avoid applying id-completion to non executable rule. tswd 6 years ago
• Revert intruducing new term type. Instead, 'with-variables-as-constant' environment. tswd 6 years ago
• Under new term structure, we introduced a new type. tswd 6 years ago
• Revert wrong optimization in rewriting. tswd 6 years ago
• Recover wrongly deleted function. tswd 6 years ago
• Changed 'term-color' setting scheme. tswd 6 years ago
• Due to changes of term structure normalize-term must check term type. tswd 6 years ago
• Modified due to the changes of term structure. tswd 6 years ago
• Redefine term structure. tswd 6 years ago
• additionaly removed obsoletes. tswd 6 years ago
• Removed junk files. tswd 6 years ago
• Fixed a bug in gen-print.lisp. 'term-print-with-sort-string' has type conflicting error in calling term-print-with-sort. SBCL does not produce 'error' and compiled it successflly, but subsequent load by asdf caused an error. tswd 6 years ago
• Fixed improper error messages. tswd 6 years ago
• Introduced a new execution mode 'development mode'. tswd 6 years ago
• Handling ':nonexec' axioms to be properly effective in copyied modules. tswd 6 years ago
• Fixed a bug in renaming import. Very stupid! tswd 7 years ago
• Fixed a bug in writing a multibyte character into string-stream. tswd 7 years ago
• Delete almost all 'in progress' markers. tswd 7 years ago
• Delete unneccesary message from 'open'. tswd 7 years ago
• A bit of refactoring. tswd 7 years ago
• Fix a trivial bug. tswd 7 years ago
• Fix: theory axioms such as assoc, comm are properly generated in copied module. tswd 7 years ago
• Fix: User declared error operators are properly :using imported. tswd 7 years ago