# HG changeset patch
# User berghofe
# Date 870990324 -7200
# Node ID 7554be69fd09bd2fcbea1282fdbd08698659b7c6
# Parent  dc998476ce764fcc4fc51a387f3f7347833fecca
Startup script for Isabelle theory browser.

diff -r dc998476ce76 -r 7554be69fd09 lib/Tools/browser
--- /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
+