author | wenzelm |
Fri, 19 Dec 1997 10:31:13 +0100 | |
changeset 4451 | f9e3e9f1af61 |
parent 3640 | 7554be69fd09 |
child 7766 | 444ac56ead91 |
permissions | -rwxr-xr-x |
#!/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