bin/isabelle-interface
changeset 15980 3dfcdb19f242
parent 15967 f9163c6f69d6
child 28502 6b0e3e4e1891
     1.1 --- a/bin/isabelle-interface	Tue May 17 18:10:31 2005 +0200
     1.2 +++ b/bin/isabelle-interface	Tue May 17 18:10:33 2005 +0200
     1.3 @@ -37,9 +37,6 @@
     1.4    */*)
     1.5      INTERFACE="$ISABELLE_INTERFACE"
     1.6      ;;
     1.7 -  *)
     1.8 -    INTERFACE="$ISABELLE_HOME/lib/scripts/isa-$ISABELLE_INTERFACE"
     1.9 -    ;;
    1.10  esac
    1.11  
    1.12  [ ! -x "$INTERFACE" ] && fail "Bad Isabelle interface: \"$ISABELLE_INTERFACE\""