changeset 27578 | 75945c883672 |
parent 27565 | 4bb03d4509e2 |
child 27604 | 6c347b96d941 |
--- 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 *)