author | wenzelm |
Mon, 02 Dec 1996 18:23:32 +0100 | |
changeset 2300 | 9af0cf87ac48 |
child 2307 | 508d2a233dbc |
permissions | -rwxr-xr-x |
#!/bin/bash # # Isabelle within an xterm. # # $Id$ # # TODO: isabelle fonts ## diagnostics function fail() { echo "$1" exit 2 } ## main if [ -z "$ISABELLE_SYMBOLS" -o "$ISABELLE_SYMBOLS" = false ]; then exec xterm $ISABELLE_INTERFACE_OPTIONS -e isabelle "$@" else isatool installfonts exec xterm $ISABELLE_INTERFACE_OPTIONS -fn isacr14 -e isabelle -e 'print_mode:=["symbols"];' "$@" fi