# HG changeset patch
# User wenzelm
# Date 1207827883 -7200
# Node ID e36d16985402693b199429dbc3a1d9740d826942
# Parent  379596d12f253aa28b10d56b34c4d9b6851adc3c
replaced Isar loop variants by generic toplevel_loop;

diff -r 379596d12f25 -r e36d16985402 src/Pure/ProofGeneral/proof_general_emacs.ML
--- a/src/Pure/ProofGeneral/proof_general_emacs.ML	Thu Apr 10 13:44:41 2008 +0200
+++ b/src/Pure/ProofGeneral/proof_general_emacs.ML	Thu Apr 10 13:44:43 2008 +0200
@@ -297,6 +297,6 @@
           set initialized);
         sync_thy_loader ();
        change print_mode (update (op =) proof_generalN);
-       Isar.sync_main ());
+       Isar.toplevel_loop {init = true, sync = true, secure = Secure.is_secure ()});
 
 end;
diff -r 379596d12f25 -r e36d16985402 src/Pure/Tools/isabelle_process.ML
--- a/src/Pure/Tools/isabelle_process.ML	Thu Apr 10 13:44:41 2008 +0200
+++ b/src/Pure/Tools/isabelle_process.ML	Thu Apr 10 13:44:43 2008 +0200
@@ -155,7 +155,7 @@
  (change print_mode (update (op =) isabelle_processN);
   setup_channels ();
   init_message ();
-  Isar.secure_main ());
+  Isar.toplevel_loop {init = true, sync = true, secure = true});
 
 end;