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