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.
lib/Tools/update_sub_sup
changeset 52921 0ea2b657eb42
parent 52618 2077168aa8f7 
--- a/lib/Tools/update_sub_sup	Thu Aug 08 17:36:14 2013 +0200
+++ b/lib/Tools/update_sub_sup	Thu Aug 08 17:49:07 2013 +0200
@@ -2,7 +2,7 @@
 #
 # Author: Makarius
 #
-# DESCRIPTION: update sub/sup control symbols
+# DESCRIPTION: update Isabelle symbols involving sub/superscripts
 
 
 ## diagnostics
@@ -14,7 +14,7 @@
   echo
   echo "Usage: isabelle $PRG [FILES|DIRS...]"
   echo
-  echo "  Recursively find .thy/.ML files and update control symbols for"
+  echo "  Recursively find .thy/.ML files and update Isabelle symbols involving"
   echo "  sub- and superscript."
   echo
   echo "  Old versions of files are preserved by appending \"~~\"."
isabelle