lib/Tools/browser
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
+