author | wenzelm |
Wed, 04 Dec 1996 12:30:49 +0100 | |
changeset 2306 | 0aadfaf8557a |
parent 2300 | 9af0cf87ac48 |
child 2307 | 508d2a233dbc |
permissions | -rwxr-xr-x |
2300 | 1 |
#!/bin/bash |
2 |
# |
|
3 |
# Isabelle within an xterm. |
|
4 |
# |
|
5 |
# $Id$ |
|
6 |
# |
|
7 |
# TODO: isabelle fonts |
|
8 |
||
9 |
||
10 |
## diagnostics |
|
11 |
||
12 |
function fail() |
|
13 |
{ |
|
14 |
echo "$1" |
|
15 |
exit 2 |
|
16 |
} |
|
17 |
||
18 |
||
19 |
## main |
|
20 |
||
21 |
if [ -z "$ISABELLE_SYMBOLS" -o "$ISABELLE_SYMBOLS" = false ]; then |
|
22 |
exec xterm $ISABELLE_INTERFACE_OPTIONS -e isabelle "$@" |
|
23 |
else |
|
24 |
isatool installfonts |
|
25 |
exec xterm $ISABELLE_INTERFACE_OPTIONS -fn isacr14 -e isabelle -e 'print_mode:=["symbols"];' "$@" |
|
26 |
fi |