bin/isabelle-interface

--- 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\""