# 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);