Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
renamed PgipParser to OldPgipParser;
authorwenzelm
Thu, 12 Jul 2007 00:15:36 +0200
changeset 23798 fac9ea4d58ab
parent 23797 f4dbbffbfe06
child 23799 20f58293fc5e
renamed PgipParser to OldPgipParser;
src/Pure/ProofGeneral/parsing.ML file | annotate | diff | comparison | revisions
src/Pure/ProofGeneral/pgip_tests.ML file | annotate | diff | comparison | revisions 
--- 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
 
 
--- 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 =
isabelle