author | haftmann |
Sat, 19 Dec 2015 17:03:17 +0100 | |
changeset 61891 | 76189756ff65 |
parent 52444 | 2cfe6656d6d6 |
child 62438 | 42e13a4f52f5 |
permissions | -rwxr-xr-x |
#!/usr/bin/env bash # # Author: Markus Wenzel, TU Muenchen # # DESCRIPTION: view Isabelle documentation PRG="$(basename "$0")" function usage() { echo echo "Usage: isabelle $PRG [DOC ...]" echo echo " View Isabelle documentation." echo exit 1 } function fail() { echo "$1" >&2 exit 2 } ## args [ "$#" -eq 1 -a "$1" = "-?" ] && usage ## main isabelle_admin_build jars || exit $? "$ISABELLE_TOOL" java isabelle.Doc "$@"