# HG changeset patch
# User wenzelm
# Date 925219957 -7200
# Node ID b8929d23aaa43a0bbd29692844bb8f20bd368c81
# Parent  9d79a304aeccb48d6eaeaa48c93164f81f3be383
tuned;

diff -r 9d79a304aecc -r b8929d23aaa4 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]+$"