lib/scripts/isa-emacs
author wenzelm
Wed, 04 Dec 1996 12:30:49 +0100
changeset 2306 0aadfaf8557a
parent 2305 35f78d6c4faa
child 2312 65ea8bbb4e02
permissions -rwxr-xr-x
ucat - uninterruptible cat NOTE: If perl is unavailable we simply fall back on normal cat!
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
2305
35f78d6c4faa Emacs / Isamode interface.
wenzelm
parents:
diff changeset
     1
#!/bin/bash
35f78d6c4faa Emacs / Isamode interface.
wenzelm
parents:
diff changeset
     2
#
35f78d6c4faa Emacs / Isamode interface.
wenzelm
parents:
diff changeset
     3
# Emacs / Isamode interface.
35f78d6c4faa Emacs / Isamode interface.
wenzelm
parents:
diff changeset
     4
#
35f78d6c4faa Emacs / Isamode interface.
wenzelm
parents:
diff changeset
     5
# $Id$
35f78d6c4faa Emacs / Isamode interface.
wenzelm
parents:
diff changeset
     6
#
35f78d6c4faa Emacs / Isamode interface.
wenzelm
parents:
diff changeset
     7
# TODO: isabelle fonts
35f78d6c4faa Emacs / Isamode interface.
wenzelm
parents:
diff changeset
     8
35f78d6c4faa Emacs / Isamode interface.
wenzelm
parents:
diff changeset
     9
35f78d6c4faa Emacs / Isamode interface.
wenzelm
parents:
diff changeset
    10
## diagnostics
35f78d6c4faa Emacs / Isamode interface.
wenzelm
parents:
diff changeset
    11
35f78d6c4faa Emacs / Isamode interface.
wenzelm
parents:
diff changeset
    12
function fail()
35f78d6c4faa Emacs / Isamode interface.
wenzelm
parents:
diff changeset
    13
{
35f78d6c4faa Emacs / Isamode interface.
wenzelm
parents:
diff changeset
    14
  echo "$1"
35f78d6c4faa Emacs / Isamode interface.
wenzelm
parents:
diff changeset
    15
  exit 2
35f78d6c4faa Emacs / Isamode interface.
wenzelm
parents:
diff changeset
    16
}
35f78d6c4faa Emacs / Isamode interface.
wenzelm
parents:
diff changeset
    17
35f78d6c4faa Emacs / Isamode interface.
wenzelm
parents:
diff changeset
    18
35f78d6c4faa Emacs / Isamode interface.
wenzelm
parents:
diff changeset
    19
## main
35f78d6c4faa Emacs / Isamode interface.
wenzelm
parents:
diff changeset
    20
35f78d6c4faa Emacs / Isamode interface.
wenzelm
parents:
diff changeset
    21
exec emacs -name "isabelle" -l "$ISAMODE_HOME/elisp/isa-site.el" -l "$HOME/.emacs" -l "$ISAMODE_HOME/elisp/isa-start.el"