History of chaos / eval @9ddaffed-0c93-4780-84f9-6c455045d424/main
- Fix 'show path' has't been working since recursive search was supported. tswd 4 years ago
- Fixed wrong determination of debug-mode. Toshimi Sawada 5 years ago
- Fix a bug in an old switch 'rewrite limit' tswd 5 years ago
- Fix really bad style warnings. Toshimi Sawada 5 years ago
- Fixed wrong variable name. Toshimi Sawada 5 years ago
- Limit the size of a term which is allowed to be hashed. Toshimi Sawada 5 years ago
- fix typos Norbert Preining 5 years ago
- Modified due to the changes of term structure. tswd 6 years ago
- Handling ':nonexec' axioms to be properly effective in copyied modules. tswd 6 years ago
- Delete almost all 'in progress' markers. tswd 7 years ago
- Delete unneccesary message from 'open'. tswd 7 years ago
- A bit of refactoring. 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
- When some error occured during opening a module, now all of them are reported, tswd 7 years ago
- 'set rewrite limit' is now effective in normal rewriting process. tswd 7 years ago
- Allow 'let' symbols introduced in a module can be used in opened one. tswd 7 years ago
- If the citp proof context module is redfined, the current proof session must be discarded. tswd 7 years ago
- Recover lost commands 'save' and 'restore'. tswd 8 years ago
- Changed the way of checking validity of an axiom as a rewrite rule. tswd 8 years ago
- Fixed a bug: printing cosumed time for term parsing correctlly. tswd 8 years ago
- Fix a bug errors do not handled properly as parsing axiom when 'quiet on'. 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 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
- * Prototype implementation of new citp command :pctf. tswd 8 years ago
- * Started implementing inspecter for Bool valued terms. tswd 8 years ago
- * Added un-autoload command. tswd 8 years ago
- Untabified the all of the source codes. The cause is unknown, but tswd 8 years ago