# HG changeset patch
# User wenzelm
# Date 924707494 -7200
# Node ID 99c34e50a2c6e3a2b0bdbfc8e76e757bb6c6e5ea
# Parent  cb8c85435228a320802d41e7b9361da98db07999
Isamode 2.6 requires patch;

diff -r cb8c85435228 -r 99c34e50a2c6 NEWS
--- 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 ***