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