bin/isatool
changeset 7971 023778c8a029
parent 3276 f8bf5e5c1641
child 9786 270ca580b880
     1.1 --- a/bin/isatool	Fri Oct 29 12:45:14 1999 +0200
     1.2 +++ b/bin/isatool	Fri Oct 29 12:48:27 1999 +0200
     1.3 @@ -69,4 +69,4 @@
     1.4    [ -f "$TOOL" -a -x "$TOOL" ] && exec "$TOOL" "$@"
     1.5  done
     1.6  
     1.7 -fail "Unknown isabelle tool: $TOOLNAME"
     1.8 +fail "Unknown Isabelle tool: $TOOLNAME"