bin/isabelle
changeset 7887 eedfff88ee40
parent 6286 ce30e19af3df
child 8359 124ad46105dd
equal deleted inserted replaced
7886:8fa551e22e52 7887:eedfff88ee40
    29   echo "    -r           open heap file read-only"
    29   echo "    -r           open heap file read-only"
    30   echo "    -u           pass 'use\"ROOT.ML\";' to the ML session"
    30   echo "    -u           pass 'use\"ROOT.ML\";' to the ML session"
    31   echo "    -w           reset write permissions on OUTPUT"
    31   echo "    -w           reset write permissions on OUTPUT"
    32   echo
    32   echo
    33   echo "  INPUT (default \"$ISABELLE_LOGIC\") and OUTPUT specify in/out heaps."
    33   echo "  INPUT (default \"$ISABELLE_LOGIC\") and OUTPUT specify in/out heaps."
    34   echo "  These are either names to be searched in the Isabelle path, or actual"
    34   echo "  These are either names to be searched in the Isabelle path, or"
    35   echo "  file names (containing at least one /)."
    35   echo "  actual file names (containing at least one /)."
    36   echo "  If INPUT is \"RAW_ML_SYSTEM\", just start the bare bones ML system."
    36   echo "  If INPUT is \"RAW_ML_SYSTEM\", just start the bare bones ML system."
    37   echo
    37   echo
    38   exit 1
    38   exit 1
    39 }
    39 }
    40 
    40