author | wenzelm |
Thu, 11 Mar 1999 12:33:34 +0100 | |
changeset 6347 | ce7ab97a8e15 |
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