Mercurial Mercurial > repos > isabelle / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
lib/scripts/isa-xterm
author wenzelm
Tue, 10 Dec 1996 14:09:32 +0100
changeset 2368 d394336997cf
parent 2344 c3e1eaea4418
child 2430 7dc83c3d751a
permissions -rwxr-xr-x
fixed pris of binder syntax;

#!/bin/bash -norc
#
# $Id$
#
# Isabelle within an xterm.


## diagnostics

function fail()
{
  echo "$1" >&2
  exit 2
}


## main

if [ -z "$ISABELLE_SYMBOLS" -o "$ISABELLE_SYMBOLS" = false ]; then
  exec xterm -T Isabelle -n Isabelle $ISABELLE_INTERFACE_OPTIONS -e isabelle "$@"
else
  isatool installfonts
  exec xterm -T Isabelle -n Isabelle $ISABELLE_INTERFACE_OPTIONS -fn isacr14 \
    -xrm "*fontMenu.Label: Isabelle fonts" \
    -xrm "*fontMenu*font1*Label: Large" \
    -xrm "*VT100*font1: isacb24" \
    -xrm "*fontMenu*font2*Label:" \
    -xrm "*VT100*font2:" \
    -xrm "*fontMenu*font3*Label:" \
    -xrm "*VT100*font3:" \
    -xrm "*fontMenu*font4*Label:" \
    -xrm "*VT100*font4:" \
    -xrm "*fontMenu*font5*Label:" \
    -xrm "*VT100*font5:" \
    -xrm "*fontMenu*font6*Label:" \
    -xrm "*VT100*font6:" \
    -e isabelle -e 'print_mode:=["symbols"];' "$@"
fi
isabelle