Isar.sync_main;
authorwenzelm
Wed Jun 30 12:24:32 1999 +0200 (1999-06-30 ago)
changeset 68617f9798c6ca8c
parent 6860 8dc6a1e6fa13
child 6862 f80091bdc992
Isar.sync_main;
src/Pure/Interface/proof_general.ML
     1.1 --- a/src/Pure/Interface/proof_general.ML	Wed Jun 30 12:23:46 1999 +0200
     1.2 +++ b/src/Pure/Interface/proof_general.ML	Wed Jun 30 12:24:32 1999 +0200
     1.3 @@ -122,7 +122,7 @@
     1.4    setup_state ();
     1.5    print_mode := [proof_generalN];
     1.6    set quick_and_dirty;
     1.7 -  if isar then Isar.main () else ());
     1.8 +  if isar then Isar.sync_main () else ());
     1.9  
    1.10  
    1.11  end;