bin/isabelle
changeset 2768 bc6d915b8019
parent 2735 29434f9b95dd
child 2936 bd33e7aae062
     1.1 --- a/bin/isabelle	Fri Mar 07 15:29:46 1997 +0100
     1.2 +++ b/bin/isabelle	Fri Mar 07 15:30:23 1997 +0100
     1.3 @@ -32,7 +32,7 @@
     1.4    echo "  INPUT (default \"$DEFAULT_LOGIC\") and OUTPUT specify in/out heaps."
     1.5    echo "  These are either names to be searched in the Isabelle path, or actual"
     1.6    echo "  file names (then containing at least one /)."
     1.7 -  echo "  If INPUT is \"SYSTEM\", just start the bare bones ML system."
     1.8 +  echo "  If INPUT is \"RAW_ML_SYSTEM\", just start the bare bones ML system."
     1.9    echo
    1.10    exit 1
    1.11  }
    1.12 @@ -117,7 +117,7 @@
    1.13  [ -z "$INPUT" ] && INPUT="$DEFAULT_LOGIC"
    1.14  
    1.15  case "$INPUT" in
    1.16 -  SYSTEM)
    1.17 +  RAW_ML_SYSTEM)
    1.18      INFILE=""
    1.19      ;;
    1.20    */*)