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 msg;
authorwenzelm
Fri, 29 Oct 1999 12:48:27 +0200
changeset 7971 023778c8a029
parent 7970 a15748c3b7e4
child 7972 b95d183ae476
tuned msg;
bin/isatool file | annotate | diff | comparison | revisions 
--- a/bin/isatool	Fri Oct 29 12:45:14 1999 +0200
+++ b/bin/isatool	Fri Oct 29 12:48:27 1999 +0200
@@ -69,4 +69,4 @@
   [ -f "$TOOL" -a -x "$TOOL" ] && exec "$TOOL" "$@"
 done
 
-fail "Unknown isabelle tool: $TOOLNAME"
+fail "Unknown Isabelle tool: $TOOLNAME"
isabelle