changeset 3640 | 7554be69fd09 |
child 7766 | 444ac56ead91 |
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/lib/Tools/browser Thu Aug 07 23:45:24 1997 +0200 @@ -0,0 +1,28 @@ +#!/bin/bash +# +# $Id$ +# +# DESCRIPTION: Isabelle theory graph browser + + +PRG=$(basename $0) + +function usage() +{ + echo + echo "Usage: $PRG [GRAPHFILE]" + echo + exit 1 +} + + +## main + +[ "$1" = "-?" -o $# -gt 1 ] && usage + +export CLASSPATH=$ISABELLE_HOME/lib/browser + +[ $# -ne 1 ] && cd $ISABELLE_BROWSER_INFO/graph/data + +java GraphBrowser.GraphBrowser $1 +