author | wenzelm |
Wed, 04 Dec 1996 13:17:24 +0100 | |
changeset 2312 | 65ea8bbb4e02 |
parent 2305 | 35f78d6c4faa |
child 2344 | c3e1eaea4418 |
permissions | -rwxr-xr-x |
2305 | 1 |
#!/bin/bash |
2 |
# |
|
2312 | 3 |
# $Id$ |
4 |
# |
|
2305 | 5 |
# Emacs / Isamode interface. |
6 |
# |
|
7 |
# TODO: isabelle fonts |
|
8 |
||
9 |
||
10 |
## diagnostics |
|
11 |
||
12 |
function fail() |
|
13 |
{ |
|
14 |
echo "$1" |
|
15 |
exit 2 |
|
16 |
} |
|
17 |
||
18 |
||
19 |
## main |
|
20 |
||
21 |
exec emacs -name "isabelle" -l "$ISAMODE_HOME/elisp/isa-site.el" -l "$HOME/.emacs" -l "$ISAMODE_HOME/elisp/isa-start.el" |