author | wenzelm |
Tue, 03 Dec 1996 16:10:22 +0100 | |
changeset 2305 | 35f78d6c4faa |
child 2312 | 65ea8bbb4e02 |
permissions | -rwxr-xr-x |
2305 | 1 |
#!/bin/bash |
2 |
# |
|
3 |
# Emacs / Isamode interface. |
|
4 |
# |
|
5 |
# $Id$ |
|
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" |