# HG changeset patch
# User wenzelm
# Date 1116346233 -7200
# Node ID 3dfcdb19f24202023daae662c38f5e303b49d930
# Parent  c81578ac2d31ec6ef74a7a8caf2cabe23c641722
no longer support isa-FOO interface;

diff -r c81578ac2d31 -r 3dfcdb19f242 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\""