author | wenzelm |
Tue, 17 May 2005 18:10:33 +0200 | |
changeset 15980 | 3dfcdb19f242 |
parent 15979 | c81578ac2d31 |
child 15981 | 38db39971a5a |
--- a/bin/isabelle-interface Tue May 17 18:10:31 2005 +0200 +++ b/bin/isabelle-interface Tue May 17 18:10:33 2005 +0200 @@ -37,9 +37,6 @@ */*) INTERFACE="$ISABELLE_INTERFACE" ;; - *) - INTERFACE="$ISABELLE_HOME/lib/scripts/isa-$ISABELLE_INTERFACE" - ;; esac [ ! -x "$INTERFACE" ] && fail "Bad Isabelle interface: \"$ISABELLE_INTERFACE\""