diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2006-12-11 22:34:39 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2006-12-11 22:34:39 +0000 |
| commit | 176b575ceb4f07d4a4384682cb762b4f88dd3f84 (patch) | |
| tree | d27a662af3bebe3ac4d2b857b3c6e39c3b416041 /CHANGES | |
| parent | bdbbe3e8716f313a5beaacd5cdd3e9d41528b9c4 (diff) | |
Update, note about Isabelle 2004
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -42,8 +42,8 @@ Additional menu functions and PGIP support for settings configuration now controlled directly by Isabelle. Support for Unicode-safe interaction (`proof-shell-unicode' variable). -Isabelle2004 should still be functional with this version of Proof -General. Support for Isabelle 2003 has been removed. +Support for Isabelle 2003 has been removed; results with Isabelle 2004 +are not guaranteed. Code works with PolyML 5 versions of Isabelle. |