# HG changeset patch
# User aspinall
# Date 1195476129 -3600
# Node ID 01f3686f43044b1385a2216861d0e111586bbded
# Parent  270242f7a27d82e6f88fbc89698e87c7acf7da3d
Init outer syntax after message setup to avoid spurious output.

diff -r 270242f7a27d -r 01f3686f4304 src/Pure/ProofGeneral/proof_general_pgip.ML
--- a/src/Pure/ProofGeneral/proof_general_pgip.ML	Mon Nov 19 12:06:10 2007 +0100
+++ b/src/Pure/ProofGeneral/proof_general_pgip.ML	Mon Nov 19 13:42:09 2007 +0100
@@ -1139,15 +1139,15 @@
 fun init_pgip false = panic "No Proof General interface support for Isabelle/classic mode."
   | init_pgip true =
       (! initialized orelse
-        (Output.no_warnings init_outer_syntax ();
-          setup_preferences_tweak ();
-          setup_proofgeneral_output ();
-          setup_messages ();
-          setup_thy_loader ();
-          setup_present_hook ();
-          init_pgip_session_id ();
-          welcome ();
-          set initialized);
+        (setup_preferences_tweak ();
+         setup_proofgeneral_output ();
+         setup_messages ();
+         Output.no_warnings init_outer_syntax ();
+         setup_thy_loader ();
+         setup_present_hook ();
+         init_pgip_session_id ();
+         welcome ();
+         set initialized);
         sync_thy_loader ();
        change print_mode (cons proof_generalN o remove (op =) proof_generalN);
        pgip_toplevel tty_src);