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.
added -? option;
authorwenzelm
Mon, 13 Jan 1997 13:20:32 +0100
changeset 2505 50abca9d4043
parent 2504 f5e2288c2697
child 2506 965127966331
added -? option;
bin/isatool file | annotate | diff | comparison | revisions 
--- 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