diff -r f4bb3068d819 -r 22b87ab47d3b bin/isabelle_process
--- a/bin/isabelle_process	Thu Oct 30 23:14:11 2014 +0100
+++ b/bin/isabelle_process	Fri Oct 31 11:18:17 2014 +0100
@@ -28,7 +28,6 @@
   echo "  Options are:"
   echo "    -I           startup Isar interaction mode"
   echo "    -O           system options from given YXML file"
-  echo "    -P           startup Proof General interaction mode"
   echo "    -S           secure mode -- disallow critical operations"
   echo "    -T ADDR      startup process wrapper, with socket address"
   echo "    -W IN:OUT    startup process wrapper, with input/output fifos"
@@ -60,7 +59,6 @@
 
 ISAR=""
 OPTIONS_FILE=""
-PROOFGENERAL=""
 SECURE=""
 WRAPPER_SOCKET=""
 WRAPPER_FIFOS=""
@@ -71,7 +69,7 @@
 READONLY=""
 NOWRITE=""
 
-while getopts "IO:PST:W:e:m:o:qrw" OPT
+while getopts "IO:ST:W:e:m:o:qrw" OPT
 do
   case "$OPT" in
     I)
@@ -80,9 +78,6 @@
     O)
       OPTIONS_FILE="$OPTARG"
       ;;
-    P)
-      PROOFGENERAL=true
-      ;;
     S)
       SECURE=true
       ;;
@@ -237,9 +232,7 @@
   if [ "$INPUT" != RAW_ML_SYSTEM -a "$INPUT" != RAW ]; then
     MLTEXT="Exn.capture_exit 2 Options.load_default (); $MLTEXT"
   fi
-  if [ -n "$PROOFGENERAL" ]; then
-    MLTEXT="$MLTEXT; ProofGeneral.init ();"
-  elif [ -n "$ISAR" ]; then
+  if [ -n "$ISAR" ]; then
     MLTEXT="$MLTEXT; Isar.main ();"
   else
     NICE=""