Tree @debian/1.5.4-2 (Download .tar.gz)
History of chaos / tools @debian/1.5.4-2
- 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
- If in verbose mode, hidden modules and parameter modules are shown. tswd 9 years ago
- Changed print style of module name in 'desc mod tree'. tswd 9 years ago
- Direct non-simple modexpr importation can be shown properly. tswd 9 years ago
- Make 'desc module tree' hide internal module structure. tswd 9 years ago
- * Commented out unused function. tswd 9 years ago
- * Now 'show modules' does not print out hidden modules (system internal only ones). tswd 9 years ago
- * Suuports multi-line comment. '#|' begins a multi-line comment and '|#' ends it. tswd 9 years ago
- * 'describe module tree' prints out module importing structure in a form of tswd 9 years ago
- Beta6. Modified case generation scheme. tswd 9 years ago
- Preparing for broader distritution, added license headers to codes. tswd 9 years ago
- * Fixed various problems of citp cafe. tswd 9 years ago
- * Implemented SI, TC, RD. Works very simple cases. tswd 9 years ago
- * Adopted existing codes for CITP like prover. tswd 9 years ago
- * Now 'look up [in <Modexp> :] name' almost works. tswd 9 years ago
- * Fix various problems of new search predicate. tswd 9 years ago
- * Add new switch 'print trs' for controlling the print of rules used in reduction of '=(_,_)=>+_if_suchThat_{_}'. default off. tswd 9 years ago
- * Experimental implementation of online help system. tswd 9 years ago
- * Improved scanning proc. of oeprator names. tswd 9 years ago