| changeset 21639 | 8ab7c4dbb524 |
| parent 20929 | cd2a6d00ec47 |
| child 25504 | dc960d760052 |
--- 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