Tree @debian/1.5.4-2 (Download .tar.gz)
History of chaos @debian/1.5.4-2
- 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
- * When applying rule, warning msg will be printed if match method is not yet computed. tswd 8 years ago
- Treatment of =*= proof in which match method is not computed yet. tswd 8 years ago
- work on require supporting foo::bar Norbert Preining 8 years ago
- After reducing a term, system re-arranges it structure if it has associative operator on top. tswd 8 years ago
- Fixed insufficient check of strictness of morphism. tswd 8 years ago
- Add some inspecting codes for debug matching problems. tswd 8 years ago
- If an axiom contains error operators, output a warning message even the system is in silent mode. tswd 8 years ago
- Fixed sbcl acz match problem. tswd 8 years ago
- 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