lib/scripts/isa-emacs
author wenzelm
Mon, 16 Dec 1996 10:29:30 +0100
changeset 2411 256dbda3df4f
parent 2390 4e183a4d9cd0
child 2474 9990f088d7ac
permissions -rwxr-xr-x
SML/NJ startup script (for 0.93).
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
2344
c3e1eaea4418 added -norc option;
wenzelm
parents: 2312
diff changeset
     1
#!/bin/bash -norc
2305
35f78d6c4faa Emacs / Isamode interface.
wenzelm
parents:
diff changeset
     2
#
2312
65ea8bbb4e02 *** empty log message ***
wenzelm
parents: 2305
diff changeset
     3
# $Id$
65ea8bbb4e02 *** empty log message ***
wenzelm
parents: 2305
diff changeset
     4
#
2305
35f78d6c4faa Emacs / Isamode interface.
wenzelm
parents:
diff changeset
     5
# Emacs / Isamode interface.
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
{
2344
c3e1eaea4418 added -norc option;
wenzelm
parents: 2312
diff changeset
    14
  echo "$1" >&2
2305
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
2390
4e183a4d9cd0 now also loads etc/isa-settings.el;
wenzelm
parents: 2344
diff changeset
    21
exec emacs -name "isabelle" $ISABELLE_INTERFACE_OPTIONS -l "$ISAMODE_HOME/elisp/isa-site.el" -l "$ISABELLE_HOME_USER/etc/isa-settings.el" -l "$ISAMODE_HOME/elisp/isa-start.el"