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 usage;
authorwenzelm
Fri, 08 Oct 1999 15:03:38 +0200
changeset 7795 111d2a65e1c6
parent 7794 37069d910cbe
child 7796 624f609e10d7
tuned usage;
lib/Tools/make file | annotate | diff | comparison | revisions 
--- a/lib/Tools/make	Fri Oct 08 15:03:27 1999 +0200
+++ b/lib/Tools/make	Fri Oct 08 15:03:38 1999 +0200
@@ -12,7 +12,7 @@
   echo
   echo "Usage: $PRG [ARGS ...]"
   echo
-  echo "  Compiles logic in current directory using IsaMakefile."
+  echo "  Compile the logic in current directory using IsaMakefile."
   echo "  ARGS are directly passed to the system make program."
   echo
   exit 1
isabelle