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.
Forward compatibility with new Proof General module.
authoraspinall
Mon, 04 Dec 2006 21:33:36 +0100
changeset 21639 8ab7c4dbb524
parent 21638 49591cc0f1e7
child 21640 9811f1560d38
Forward compatibility with new Proof General module.
bin/isabelle-process file | annotate | diff | comparison | revisions
src/Pure/proof_general.ML file | annotate | diff | comparison | revisions 
--- a/bin/isabelle-process	Mon Dec 04 20:48:57 2006 +0100
+++ b/bin/isabelle-process	Mon Dec 04 21:33:36 2006 +0100
@@ -217,7 +217,7 @@
 [ -n "$SECURE" ] && MLTEXT="$MLTEXT Secure.set_secure ();"
 
 if [ -n "$PGIP" ]; then
-  MLTEXT="$MLTEXT; ProofGeneral.init_pgip $ISAR;"
+  MLTEXT="$MLTEXT; ProofGeneralPgip.init_pgip $ISAR;"
 elif [ -n "$PROOFGENERAL" ]; then
   MLTEXT="$MLTEXT; ProofGeneral.init $ISAR;"
 elif [ "$ISAR" = true ]; then
--- a/src/Pure/proof_general.ML	Mon Dec 04 20:48:57 2006 +0100
+++ b/src/Pure/proof_general.ML	Mon Dec 04 21:33:36 2006 +0100
@@ -1522,3 +1522,5 @@
 
 
 end;
+
+structure ProofGeneralPgip = ProofGeneral;  (* for forward compatibility *)
isabelle