lib/scripts/isa-xterm

*** empty log message ***

#!/bin/bash
#
# $Id$
#
# Isabelle within an xterm.
#
# TODO:
#   - font menu (cf. isa-xterm from 8bit package)


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