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.
improved usage msg;
authorwenzelm
Thu, 06 Feb 1997 18:22:21 +0100
changeset 2588 b472d703fa06
parent 2587 ac51a89627ed
child 2589 9d910f3681d0
improved usage msg;
lib/Tools/expandshort file | annotate | diff | comparison | revisions 
--- a/lib/Tools/expandshort	Thu Feb 06 17:52:40 1997 +0100
+++ b/lib/Tools/expandshort	Thu Feb 06 18:22:21 1997 +0100
@@ -15,7 +15,7 @@
   echo "  Expand shorthand goal commands in FILES.  Also contracts uses of"
   echo "  resolve_tac, dresolve_tac, eresolve_tac, rewrite_goals_tac on"
   echo "  1-element lists; furthermore expands tabs, since they are now"
-  echo "  forbidden in strings."
+  echo "  forbidden in ML string constants."
   echo
   echo "  Renames old versions of FILES by appending \"~~\"."
   echo
isabelle