diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2000-07-17 10:31:48 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2000-07-17 10:31:48 +0000 |
| commit | 9c4850ca593781e7d5bd90393c8c65b288974bfb (patch) | |
| tree | 8de405e344584cf45be996e90d6c31fff757a04f /CHANGES | |
| parent | b4be5a3855ad1da9a341359cb8b32b1f84800cb1 (diff) | |
tuned;
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 8 |
1 files changed, 6 insertions, 2 deletions
@@ -11,8 +11,6 @@ *** New indentation code, indentation enabled for all provers now Supplied by Markus Wenzel. - This is currently in testing, and has broken some other - features, particularly the function menu, in some cases. *** Toolbar and menubar removed from small windows in multiple frame mode @@ -112,8 +110,14 @@ ** Isar Changes +*** No longer requires explicit terminators ";" in text. (XEmacs only) + + Also note that isar-strip-terminators cleans up existing theories. + *** Fix for stack overflow in regexp which occurred with large proof states +*** Improved Help menu provides basic context browsing facilities. + ** HOL Changes *** Output decoration improvements. |