lib/Tools/browser
author wenzelm
Fri, 13 Mar 1998 18:15:14 +0100
changeset 4744 4469d498cd48
parent 3640 7554be69fd09
child 7766 444ac56ead91
permissions -rwxr-xr-x
moved addsplits [expand_if] from HOL_basic_ss to HOL_ss;

#!/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