no longer support isa-FOO interface;
authorwenzelm
Tue May 17 18:10:33 2005 +0200 (2005-05-17)
changeset 159803dfcdb19f242
parent 15979 c81578ac2d31
child 15981 38db39971a5a
no longer support isa-FOO interface;
bin/isabelle-interface
     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\""