| changeset 2305 | 35f78d6c4faa |
| child 2312 | 65ea8bbb4e02 |
| 2304:618b545fe9c4 | 2305:35f78d6c4faa |
|---|---|
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" |