# HG changeset patch
# User wenzelm
# Date 1215717154 -7200
# Node ID 17838612217b0bc825ba6a7cd65c3057d61572cc
# Parent  1dcb8a6bdfe994037b98151784cfa4274dc705f8
restart: Isar.init_point;

diff -r 1dcb8a6bdfe9 -r 17838612217b src/Pure/ProofGeneral/proof_general_emacs.ML
--- 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);