clarified type Token.src: plain token list, with usual implicit value assignment;
clarified type Token.name_value, notably for head of Token.src;
clarified Attrib/Method check_src vs. parser;
#!/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 "$@"