diff options
| -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. |