diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-03-24 10:07:57 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-03-24 10:07:57 +0000 |
| commit | 486594dd64cf97eae08297e8464ce75b81446ff3 (patch) | |
| tree | ffbc3c986b255599c37f53566def4166aa92d2d1 /CHANGES | |
| parent | 7464db2928a2d1004741112ebfb8c969824737ae (diff) | |
Notes about upcoming 3.1.1 changes
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -127,6 +127,10 @@ *** Fix for directory changes under Windows + We use different low-level cd command that understands Windows syntax. + But since Isabelle functions don't understand Windows syntax, we map + backslashes -> forward slashes there. + *** Bug fix with .thy files and X-Symbol mode Subsequently visited theory files would have X-Symbols broken. @@ -134,6 +138,7 @@ + ** Isar Changes *** Syntax tweaks. |