lib/Tools/browser
author berghofe
Thu Aug 07 23:45:24 1997 +0200 (1997-08-07)
changeset 3640 7554be69fd09
child 7766 444ac56ead91
permissions -rwxr-xr-x
Startup script for Isabelle theory browser.
berghofe@3640
     1
#!/bin/bash
berghofe@3640
     2
#
berghofe@3640
     3
# $Id$
berghofe@3640
     4
#
berghofe@3640
     5
# DESCRIPTION: Isabelle theory graph browser
berghofe@3640
     6
berghofe@3640
     7
berghofe@3640
     8
PRG=$(basename $0)
berghofe@3640
     9
berghofe@3640
    10
function usage()
berghofe@3640
    11
{
berghofe@3640
    12
  echo
berghofe@3640
    13
  echo "Usage: $PRG [GRAPHFILE]"
berghofe@3640
    14
  echo
berghofe@3640
    15
  exit 1
berghofe@3640
    16
}
berghofe@3640
    17
berghofe@3640
    18
berghofe@3640
    19
## main
berghofe@3640
    20
berghofe@3640
    21
[ "$1" = "-?" -o $# -gt 1 ] && usage
berghofe@3640
    22
berghofe@3640
    23
export CLASSPATH=$ISABELLE_HOME/lib/browser
berghofe@3640
    24
berghofe@3640
    25
[ $# -ne 1 ] && cd $ISABELLE_BROWSER_INFO/graph/data
berghofe@3640
    26
berghofe@3640
    27
java GraphBrowser.GraphBrowser $1
berghofe@3640
    28