Tree @debian/1.5.4-2 (Download .tar.gz)
History of chaos @debian/1.5.4-2
- Fixed the problem with reduction immediately after adding an axiom in opening module. tswd 8 years ago
- update copyrights to 2015 Norbert Preining 8 years ago
- Warning message is printed when an axiom having term of error sort in it. tswd 8 years ago
- Add some debug logs. tswd 8 years ago
- Fixed a problem of term hash. tswd 8 years ago
- New command 'bshow [tree]', and 'bresolve'. tswd 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
- Deleted obsolate codes. tswd 8 years ago
- Fixed degraded term memoization in rewriting. tswd 8 years ago
- Introduced a new switch ':spoiler' for citp. When on, system does not perform implicit tactics. tswd 8 years ago
- Having extra variables in RHS is only reported when verbose is on. tswd 8 years ago
- Improved checking extra variables in RHS. Vars introduced by := are tswd 8 years ago
- * Added un-autoload command. tswd 8 years ago
- Corrected a typo in step mode prompt. tswd 8 years ago
- Improved handling ambiguous terms to parse. tswd 8 years ago
- Untabified the all of the source codes. The cause is unknown, but tswd 8 years ago
- Fixed improper reset timing of variable substitution made by _:=_. tswd 8 years ago
- * Fix inconsistency of libpath switch. tswd 8 years ago
- Forgot adding find.lisp. tswd 8 years ago
- * Allow 'show op <op-name>' can end with full stop(.) tswd 8 years ago
- Fixed the parsing problem introduced by the change in ordering algorithm of operators. tswd 8 years ago
- Fix: parsing overloading constants. tswd 8 years ago
- * Fixed rewriting error in id completion proc. tswd 8 years ago
- Fixed clash in acz match of terms including builtin constants. tswd 8 years ago
- * Fixed an improper error handling of axiom LHS. tswd 8 years ago
- Introced a new debug flag 'print'. tswd 9 years ago
- Makes the printed figure of a term or LHS of an axim with top operator _=_ to be more clear. tswd 9 years ago
- Fix a bug in parsing terms of builtin sort Float. tswd 9 years ago