lib/Tools/doc
author wenzelm
Sat, 27 Feb 2016 19:57:36 +0100
changeset 62438 42e13a4f52f5
parent 52444 2cfe6656d6d6
child 62589 b5783412bfed
permissions -rwxr-xr-x
moved getopts to Scala;

#!/usr/bin/env bash
#
# Author: Markus Wenzel, TU Muenchen
#
# DESCRIPTION: view Isabelle documentation

isabelle_admin_build jars || exit $?

"$ISABELLE_TOOL" java isabelle.Doc "$@"