Forum: regstab-1.4.4-released
Posted by: Vincent Aravantinos - Option -verbose is now --verbose or -v - Options --print-lemmas and -l added: prints the lemmas - Option --verbose is now much more verbose (nb of applications of rules, nb of lemmas, ...) - Fixed a bug in the parser: definition applications cannot (should not) introduce captures anymore - Fixed a small bug that may occur when you give a constraint that does not "follow" the bounds of iterations (e.g. /\i=3..n ... | n>=0) - Manual now contains the formal grammar and a table of examples - License change to CECILL-B (BSD-like licence) in order to be compatible with French law (should have been done before :-S). Contact me in case that's a problem.
|
Latest News |
Discussion Forums: regstab-1.4.4-released
Monitor Forum | 
Start New Thread
