lib/scripts/isa-xterm

run-smlnj: SML/NJ startup script (for 1.06 or later).

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