| 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" |