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.
restart: Isar.init_point;
authorwenzelm
Thu, 10 Jul 2008 21:12:34 +0200
changeset 27537 17838612217b
parent 27536 1dcb8a6bdfe9
child 27538 65f64da68a97
restart: Isar.init_point;
src/Pure/ProofGeneral/proof_general_emacs.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/ProofGeneral/proof_general_emacs.ML	Thu Jul 10 21:03:47 2008 +0200
+++ b/src/Pure/ProofGeneral/proof_general_emacs.ML	Thu Jul 10 21:12:34 2008 +0200
@@ -166,6 +166,7 @@
  (sync_thy_loader ();
   tell_clear_goals ();
   tell_clear_response ();
+  Isar.init_point ();
   welcome ();
   raise Toplevel.RESTART);
isabelle