Isar.sync_main;

--- a/src/Pure/Interface/proof_general.ML	Wed Jun 30 12:23:46 1999 +0200
+++ b/src/Pure/Interface/proof_general.ML	Wed Jun 30 12:24:32 1999 +0200
@@ -122,7 +122,7 @@
   setup_state ();
   print_mode := [proof_generalN];
   set quick_and_dirty;
-  if isar then Isar.main () else ());
+  if isar then Isar.sync_main () else ());
 
 
 end;