src/Pure/ProofGeneral/proof_general_pgip.ML
changeset 27578 75945c883672
parent 27565 4bb03d4509e2
child 27604 6c347b96d941
     1.1 --- a/src/Pure/ProofGeneral/proof_general_pgip.ML	Mon Jul 14 17:51:44 2008 +0200
     1.2 +++ b/src/Pure/ProofGeneral/proof_general_pgip.ML	Mon Jul 14 17:51:47 2008 +0200
     1.3 @@ -316,8 +316,8 @@
     1.4      (sync_thy_loader ();
     1.5       tell_clear_goals ();
     1.6       tell_clear_response ();
     1.7 -     welcome ();
     1.8 -     raise Toplevel.RESTART)
     1.9 +     Isar.init_point ();
    1.10 +     welcome ());
    1.11  
    1.12  
    1.13  (* theorem dependency output *)