lib/Tools/update_sub_sup
changeset 52921 0ea2b657eb42
parent 52618 2077168aa8f7
     1.1 --- a/lib/Tools/update_sub_sup	Thu Aug 08 17:36:14 2013 +0200
     1.2 +++ b/lib/Tools/update_sub_sup	Thu Aug 08 17:49:07 2013 +0200
     1.3 @@ -2,7 +2,7 @@
     1.4  #
     1.5  # Author: Makarius
     1.6  #
     1.7 -# DESCRIPTION: update sub/sup control symbols
     1.8 +# DESCRIPTION: update Isabelle symbols involving sub/superscripts
     1.9  
    1.10  
    1.11  ## diagnostics
    1.12 @@ -14,7 +14,7 @@
    1.13    echo
    1.14    echo "Usage: isabelle $PRG [FILES|DIRS...]"
    1.15    echo
    1.16 -  echo "  Recursively find .thy/.ML files and update control symbols for"
    1.17 +  echo "  Recursively find .thy/.ML files and update Isabelle symbols involving"
    1.18    echo "  sub- and superscript."
    1.19    echo
    1.20    echo "  Old versions of files are preserved by appending \"~~\"."