author | wenzelm |
Fri, 21 Nov 1997 13:54:31 +0100 | |
changeset 4268 | 90779455c9a7 |
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