# HG changeset patch
# User wenzelm
# Date 1184192136 -7200
# Node ID fac9ea4d58ab23bb7e4c85bf7b72b0662acd49a3
# Parent  f4dbbffbfe06f67a071edd9f65f86237df636ed5
renamed PgipParser to OldPgipParser;

diff -r f4dbbffbfe06 -r fac9ea4d58ab src/Pure/ProofGeneral/parsing.ML
--- a/src/Pure/ProofGeneral/parsing.ML	Thu Jul 12 00:15:35 2007 +0200
+++ b/src/Pure/ProofGeneral/parsing.ML	Thu Jul 12 00:15:36 2007 +0200
@@ -2,16 +2,16 @@
     ID:         $Id$
     Author:     David Aspinall
 
-Parsing Isabelle theory files to add PGIP markup.
+Parsing Isabelle theory files to add PGIP markup -- OLD VERSION.
 *)
 
-signature PGIP_PARSER =
+signature OLD_PGIP_PARSER =
 sig
     val pgip_parser: PgipMarkup.pgip_parser
     val init : unit -> unit		     (* clear state *)
 end
 
-structure PgipParser : PGIP_PARSER =
+structure OldPgipParser : OLD_PGIP_PARSER =
 struct
 
 
diff -r f4dbbffbfe06 -r fac9ea4d58ab src/Pure/ProofGeneral/pgip_tests.ML
--- a/src/Pure/ProofGeneral/pgip_tests.ML	Thu Jul 12 00:15:35 2007 +0200
+++ b/src/Pure/ProofGeneral/pgip_tests.ML	Thu Jul 12 00:15:36 2007 +0200
@@ -111,7 +111,7 @@
 (** parsing.ML **)
 local
 open PgipMarkup
-open PgipParser
+open OldPgipParser
 open PgipIsabelle
 
 fun asseqp a b =