History of chaos @debian/1.5.7-2

• 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
• When evaluating a module expression, evaluating mapped axiom declarations are tswd 7 years ago
• Now all of the axiom declarations are evaluated after all of the tswd 7 years ago
• When some error occured during opening a module, now all of them are reported, tswd 7 years ago
• 'set rewrite limit' is now effective in normal rewriting process. tswd 7 years ago
• Allow 'let' symbols introduced in a module can be used in opened one. tswd 7 years ago
• If the citp proof context module is redfined, the current proof session must be discarded. tswd 7 years ago
• Changed term printer's policy of printing parens in mode :fancy. tswd 7 years ago
• Fixed a bug: :nonexec label is ineffective in copied modules tswd 7 years ago