lib/scripts/isa-xterm
author wenzelm
Wed, 04 Dec 1996 12:30:49 +0100
changeset 2306 0aadfaf8557a
parent 2300 9af0cf87ac48
child 2307 508d2a233dbc
permissions -rwxr-xr-x
ucat - uninterruptible cat NOTE: If perl is unavailable we simply fall back on normal cat!

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