Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
bin/isatool
changeset 2505 50abca9d4043
parent 2434 d3d42a2e7da2
child 2703 5ce1310560ff 
--- a/bin/isatool	Mon Jan 13 09:29:55 1997 +0100
+++ b/bin/isatool	Mon Jan 13 13:20:32 1997 +0100
@@ -48,7 +48,7 @@
 
 ## main
 
-[ $# -lt 1 ] && usage
+[ $# -lt 1 -o "$1" = "-?" ] && usage
 
 TOOL_BASE="$1"
 TOOL="$ISABELLE_HOME/lib/Tools/$1"
isabelle