# HG changeset patch
# User aspinall
# Date 1165264416 -3600
# Node ID 8ab7c4dbb524091767d8db09c9b55d608fe3f514
# Parent  49591cc0f1e7d2effb5a51520c012cad9126abd0
Forward compatibility with new Proof General module.

diff -r 49591cc0f1e7 -r 8ab7c4dbb524 bin/isabelle-process
--- 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
diff -r 49591cc0f1e7 -r 8ab7c4dbb524 src/Pure/proof_general.ML
--- 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 *)