src/Pure/Tools/isabelle_process.ML
changeset 26643 99f5407c05ef
parent 26607 e36d16985402
child 26706 4ea64590d28b
--- a/src/Pure/Tools/isabelle_process.ML	Sun Apr 13 16:40:08 2008 +0200
+++ b/src/Pure/Tools/isabelle_process.ML	Mon Apr 14 14:28:47 2008 +0200
@@ -155,7 +155,7 @@
  (change print_mode (update (op =) isabelle_processN);
   setup_channels ();
   init_message ();
-  Isar.toplevel_loop {init = true, sync = true, secure = true});
+  Isar.toplevel_loop {init = true, welcome = false, sync = true, secure = true});
 
 end;