Tree @debian/1.5.9-1 (Download .tar.gz)
History of chaos / construct @debian/1.5.9-1
- fixed wrong type declaration. tswd 5 years ago
- Similarity of axioms include :nonexec property. tswd 5 years ago
- Fix really bad style warnings. Toshimi Sawada 5 years ago
- Delte additional unused functions for record/class constructs. tswd 5 years ago
- Fix a bug in id-completion of conditional axiom. tswd 5 years ago
- Little bit more description in verbose mode during id completion. tswd 6 years ago
- More informative system message for id completion. tswd 6 years ago
- Fix: id completion tswd 6 years ago
- Avoid applying id-completion to non executable rule. tswd 6 years ago
- Modified due to the changes of term structure. tswd 6 years ago
- Fixed improper error messages. tswd 6 years ago
- Handling ':nonexec' axioms to be properly effective in copyied modules. tswd 6 years ago
- Fix a trivial bug. tswd 7 years ago
- Fix: theory axioms such as assoc, comm are properly generated in copied module. tswd 7 years ago
- Now all of the axiom declarations are evaluated after all of the tswd 7 years ago
- Fixed a bug: :nonexec label is ineffective in copied modules tswd 8 years ago
- Changed numbering policy of system generated rules. tswd 8 years ago
- Fixed degraded similarity check of terms. tswd 8 years ago
- Fixed a bug introduced 1.5.6beta which allows :nonexec axioms as a rewrite rule in CITP. tswd 8 years ago
- Some minor modification of printing debug informations. tswd 8 years ago
- Changed label setting policy of idcomp axiom. tswd 8 years ago
- Fixed a bug in checking rewrite rule similarity. tswd 8 years ago
- Changed the way of checking validity of an axiom as a rewrite rule. tswd 8 years ago
- Some warning messages has been controlled when a module is opening by unknown reason. tswd 8 years ago
- Revival of warning message of extra variables in RHS side of an axiom. tswd 8 years ago
- When the theory of an operator is id+idem, make the system generated tswd 8 years ago
- Does not introduce AC matching rule when 'idem' theory is contained tswd 8 years ago
- Partially fixed the problem of POLYNOMIAL example by Norbert Preining. tswd 8 years ago
- Treatment of =*= proof in which match method is not computed yet. 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