Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Tue, 27 Apr 1999 15:32:37 +0200
changeset 6533 b8929d23aaa4
parent 6532 9d79a304aecc
child 6534 5a838c1d9d2f
tuned;
NEWS file | annotate | diff | comparison | revisions 
--- 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]+$"
isabelle