| changeset 62831 | 5560905a32ae |
| parent 62830 | 85024c0e953d |
| child 62832 | c1410bcf6e87 |
--- a/lib/Tools/doc Sun Apr 03 22:15:40 2016 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,9 +0,0 @@ -#!/usr/bin/env bash -# -# Author: Markus Wenzel, TU Muenchen -# -# DESCRIPTION: view Isabelle documentation - -isabelle_admin_build jars || exit $? - -exec isabelle java isabelle.Doc "$@"