# HG changeset patch
# User aspinall
# Date 1184762689 -7200
# Node ID 0295493ba748403ccd9389108eb6fc366deb39f5
# Parent  d9fa0f457d9a33ecd1393dcde3c8b4ff132abb80
Direct priority and tracing channels properly.

diff -r d9fa0f457d9a -r 0295493ba748 src/Pure/ProofGeneral/proof_general_pgip.ML
--- a/src/Pure/ProofGeneral/proof_general_pgip.ML	Wed Jul 18 11:43:06 2007 +0200
+++ b/src/Pure/ProofGeneral/proof_general_pgip.ML	Wed Jul 18 14:44:49 2007 +0200
@@ -229,8 +229,8 @@
 
 fun setup_messages () =
  (Output.writeln_fn := (fn s => normalmsg Message s);
-  Output.priority_fn := (fn s => normalmsg Message s);
-  Output.tracing_fn := (fn s => normalmsg  Message s);
+  Output.priority_fn := (fn s => normalmsg Status s);
+  Output.tracing_fn := (fn s => normalmsg  Tracing s);
   Output.warning_fn := (fn s => errormsg Message Warning s);
   Output.error_fn := (fn s => errormsg Message Fatal s);
   Output.debug_fn := (fn s => errormsg Message Debug s));
@@ -820,6 +820,7 @@
 
         val _ = start_delay_msgs ()   (* gather parsing errs/warns *)
         val doc = OldPgipParser.pgip_parser text
+		  (* not yet working: PgipParser.pgip_parser Position.none text  *)
         val errs = end_delayed_msgs ()
 
         val sysattrs = PgipTypes.opt_attr "systemdata" systemdata