Tree @debian/1.5.9-1 (Download .tar.gz)
History of chaos / tools @debian/1.5.9-1
- new switch 'show every finding'. Toshimi Sawada 5 years ago
- Fix really bad style warnings. Toshimi Sawada 5 years ago
- type! tswd 5 years ago
- Limit the size of a term which is allowed to be hashed. Toshimi Sawada 5 years ago
- 'Variables as Constants' are automatically applied only in the context of :init command. Toshimi Sawada 5 years ago
- Recover wrongly deleted function. tswd 6 years ago
- Modified due to the changes of term structure. tswd 6 years ago
- Introduced a new execution mode 'development mode'. tswd 6 years ago
- Term printer always prints variables with declared sort (X:Sort), tswd 8 years ago
- Minor modification of printing operator attributes. tswd 8 years ago
- 'show [all] rules' shows effective rewrite rules only. tswd 8 years ago
- Delete obsolete commands and switches. tswd 8 years ago
- Deleted obsolete switches. tswd 8 years ago
- if verbose flag is on, display of term structure in horizontal manner tswd 8 years ago
- if newly introduced flag 'tree horizontal' is on (default off), tswd 8 years ago
- '=(,)=> suchThat {T}' print out T in grind form iff T is of term Bool tswd 8 years ago
- bresolve now accepts additional optional argument 'all'. tswd 8 years ago
- Enhanced 'binspect' command. Solutions are searched like width first manner. tswd 8 years ago
- update copyrights to 2015 Norbert Preining 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
- * Added un-autoload command. 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
- * Fix inconsistency of libpath switch. tswd 8 years ago
- * Allow 'show op <op-name>' can end with full stop(.) tswd 8 years ago
- Introced a new debug flag 'print'. tswd 9 years ago
- Start refactoring. NOTE: does compile but does not work many cases. tswd 9 years ago
- Introduced new meta label :m-and-also and :m-or-else tswd 9 years ago
- Display listing style module tree without indent. tswd 9 years ago