Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Tue, 25 Sep 2001 12:16:49 +0200
changeset 11566 94d2d6531c57
parent 11565 ab004c0ecc63
child 11567 b6a181110c3c
tuned;
bin/isabelle file | annotate | diff | comparison | revisions 
--- a/bin/isabelle	Fri Sep 21 18:23:15 2001 +0200
+++ b/bin/isabelle	Tue Sep 25 12:16:49 2001 +0200
@@ -9,7 +9,13 @@
 THIS=$(cd "$(dirname "$0")"; pwd)
 NAME="$(basename "$0")"
 
-PRG=isabelle-interface
-[ "$NAME" = isabelle ] && PRG=isabelle-process
+case "$NAME" in
+  I*)
+    PRG=isabelle-interface
+    ;;
+  i*)
+    PRG=isabelle-process
+    ;;
+esac
 
 exec "$THIS/$PRG" "$@"
isabelle