Tree @debian/1.5.7-2 (Download .tar.gz)
- ..
- absntax.lisp
- baxioms.lisp
- bflags.lisp
- bmacro.lisp
- bmodexp.lisp
- bmodule2.lisp
- bobject.lisp
- boperator.lisp
- bsort.lisp
- bterm.lisp
- bview2.lisp
- context.lisp
- defterm.lisp
- depend.lisp
- find.lisp
- gen-eval.lisp
- gen-print.lisp
- normodexp.lisp
- op-theory.lisp
- parse-modexp.lisp
- print-object.lisp
- script.lisp
- substitution.lisp
- term-utils.lisp
History of chaos / primitives @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
- Recover wrongly deleted function. tswd 6 years ago
- Changed 'term-color' setting scheme. tswd 6 years ago
- Modified due to the changes of term structure. tswd 6 years ago
- Redefine term structure. 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 a bug in writing a multibyte character into string-stream. tswd 7 years ago
- Fix a trivial bug. tswd 7 years ago
- Now all of the axiom declarations are evaluated after all of the tswd 7 years ago
- Allow 'let' symbols introduced in a module can be used in opened one. 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 8 years ago
- Term printer always prints variables with declared sort (X:Sort), tswd 8 years ago
- Changed numbering policy of system generated rules. tswd 8 years ago
- Fixed degraded similarity check of terms. tswd 8 years ago
- * Fixed a bug checking similarity of terms. tswd 8 years ago
- Changed the way of checking validity of an axiom as a rewrite rule. tswd 8 years ago
- Introduced a new command :corder, which specifies a sorting order of tswd 8 years ago
- 1. Bug fix in 'bguess'. tswd 8 years ago
- Fixed the bugs in boolean term inspector. tswd 8 years ago
- For fixing the problem of polynomial.cafe, AC terms are restructured tswd 8 years ago
- Partially fixed the problem of POLYNOMIAL example by Norbert Preining. tswd 8 years ago
- After reducing a term, system re-arranges it structure if it has associative operator on top. tswd 8 years ago
- update copyrights to 2015 Norbert Preining 8 years ago
- * Prototype implementation of new citp command :pctf. tswd 8 years ago
- Implemented boolean term inspect command (:binspect, binspect) tswd 8 years ago
- * Started implementing inspecter for Bool valued terms. tswd 8 years ago
- Introduced a new switch ':spoiler' for citp. When on, system does not perform implicit tactics. tswd 8 years ago