--- a/src/Pure/ProofGeneral/proof_general_pgip.ML Mon Jan 05 00:12:49 2009 +0100
+++ b/src/Pure/ProofGeneral/proof_general_pgip.ML Mon Jan 05 00:13:11 2009 +0100
@@ -242,7 +242,7 @@
(sync_thy_loader ();
tell_clear_goals ();
tell_clear_response ();
- Isar.init_point ();
+ Isar.init ();
welcome ());