NEWS

--- a/NEWS	Tue Apr 27 15:14:44 1999 +0200
+++ b/NEWS	Tue Apr 27 15:32:37 1999 +0200
@@ -62,8 +62,7 @@
 244c244
 <       (list (isa-getenv "ISABELLE") "-msymbols" logic-name)
 ---
->       (list (isa-getenv "ISABELLE") "-misabelle_font" "-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]+$"