# HG changeset patch
# User wenzelm
# Date 1216050707 -7200
# Node ID 75945c8836722644f3321ecab095d5d7ac2ee6b2
# Parent  7c7a9a343ca5d12f0e6d05addc89739f99a5e707
removed obsolete Toplevel.RESTART;

diff -r 7c7a9a343ca5 -r 75945c883672 src/Pure/ProofGeneral/proof_general_pgip.ML
--- a/src/Pure/ProofGeneral/proof_general_pgip.ML	Mon Jul 14 17:51:44 2008 +0200
+++ b/src/Pure/ProofGeneral/proof_general_pgip.ML	Mon Jul 14 17:51:47 2008 +0200
@@ -316,8 +316,8 @@
     (sync_thy_loader ();
      tell_clear_goals ();
      tell_clear_response ();
-     welcome ();
-     raise Toplevel.RESTART)
+     Isar.init_point ();
+     welcome ());
 
 
 (* theorem dependency output *)