proper update of text perspective for nodes with changed blobs, which is important to refresh the corresponding command perspective (otherwise it might refer to invalid thy_load commands and cause full execution of the node by the prover);
#!/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 "$@"