bin/isabelle-process
changeset 31797 203d5e61e3bc
parent 31317 1f5740424c69
child 32322 45cb4a86eca2
     1.1 --- a/bin/isabelle-process	Thu Jun 25 13:24:45 2009 +0200
     1.2 +++ b/bin/isabelle-process	Thu Jun 25 13:25:35 2009 +0200
     1.3 @@ -214,7 +214,7 @@
     1.4  NICE="nice"
     1.5  if [ -n "$WRAPPER_OUTPUT" ]; then
     1.6    [ "$WRAPPER_OUTPUT" = "-" -o -p "$WRAPPER_OUTPUT" ] || fail "Bad named pipe: $WRAPPER_OUTPUT"
     1.7 -  MLTEXT="$MLTEXT; IsabelleProcess.init \"$WRAPPER_OUTPUT\";"
     1.8 +  MLTEXT="$MLTEXT; Isabelle_Process.init \"$WRAPPER_OUTPUT\";"
     1.9  elif [ -n "$PGIP" ]; then
    1.10    MLTEXT="$MLTEXT; ProofGeneralPgip.init_pgip $ISAR;"
    1.11  elif [ -n "$PROOFGENERAL" ]; then