lib/Tools/update_sub_sup
changeset 52921 0ea2b657eb42
parent 52618 2077168aa8f7
equal deleted inserted replaced
52920:4539e4a06339 52921:0ea2b657eb42
     1 #!/usr/bin/env bash
     1 #!/usr/bin/env bash
     2 #
     2 #
     3 # Author: Makarius
     3 # Author: Makarius
     4 #
     4 #
     5 # DESCRIPTION: update sub/sup control symbols
     5 # DESCRIPTION: update Isabelle symbols involving sub/superscripts
     6 
     6 
     7 
     7 
     8 ## diagnostics
     8 ## diagnostics
     9 
     9 
    10 PRG="$(basename "$0")"
    10 PRG="$(basename "$0")"
    12 function usage()
    12 function usage()
    13 {
    13 {
    14   echo
    14   echo
    15   echo "Usage: isabelle $PRG [FILES|DIRS...]"
    15   echo "Usage: isabelle $PRG [FILES|DIRS...]"
    16   echo
    16   echo
    17   echo "  Recursively find .thy/.ML files and update control symbols for"
    17   echo "  Recursively find .thy/.ML files and update Isabelle symbols involving"
    18   echo "  sub- and superscript."
    18   echo "  sub- and superscript."
    19   echo
    19   echo
    20   echo "  Old versions of files are preserved by appending \"~~\"."
    20   echo "  Old versions of files are preserved by appending \"~~\"."
    21   echo
    21   echo
    22   exit 1
    22   exit 1