--- a/NEWS Wed Apr 21 16:30:35 1999 +0200
+++ b/NEWS Wed Apr 21 17:11:34 1999 +0200
@@ -55,6 +55,21 @@
* added ML_PLATFORM setting (useful for cross-platform installations);
+* Isamode 2.6 requires patch to accomodate change of Isabelle font
+mode and goal output format:
+
+diff -r Isamode-2.6/elisp/isa-load.el Isamode/elisp/isa-load.el
+244c244
+< (list (isa-getenv "ISABELLE") "-msymbols" logic-name)
+---
+> (list (isa-getenv "ISABELLE") "-misabelle_font" "-msymbols"
+logic-name)
+diff -r Isabelle-2.6/elisp/isa-proofstate.el Isamode/elisp/isa-proofstate.el
+181c181
+< (defconst proofstate-proofstart-regexp "^Level [0-9]+$"
+---
+> (defconst proofstate-proofstart-regexp "^Level [0-9]+"
+
*** HOL ***