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
Wed, 04 Dec 1996 17:02:02 +0100
changeset 2315 491e8d4b8fad
parent 2307 508d2a233dbc
child 2344 c3e1eaea4418
permissions -rwxr-xr-x
changed font menu;

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


## diagnostics

function fail()
{
  echo "$1"
  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