# HG changeset patch
# User wenzelm
# Date 930738272 -7200
# Node ID 7f9798c6ca8c476748f79e372d59fb48176ffcdf
# Parent  8dc6a1e6fa13688b766221a2088d7412c3b6279a
Isar.sync_main;

diff -r 8dc6a1e6fa13 -r 7f9798c6ca8c src/Pure/Interface/proof_general.ML
--- 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;