replaced Isar loop variants by generic toplevel_loop;

--- 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;

--- 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;