| author | wenzelm |
| Mon, 08 Oct 2007 18:13:01 +0200 | |
| changeset 24903 | 57a33f4c2c19 |
| parent 24884 | d1e7c1b45c8d |
| child 25175 | 66a33a664609 |
| permissions | -rwxr-xr-x |
| 21301 | 1 |
#!/usr/bin/env bash |
2 |
# |
|
3 |
# $Id$ |
|
4 |
# Author: Makarius |
|
5 |
# |
|
6 |
# DESCRIPTION: Update standard keyword files. |
|
7 |
||
| 24884 | 8 |
ISABELLE_HOME="$(isatool getenv -b ISABELLE_HOME)" |
|
24878
7ed3077528b6
use isatool keywords -- generate from logs instead of session images;
wenzelm
parents:
23694
diff
changeset
|
9 |
LOG="$(isatool getenv -b ISABELLE_OUTPUT)"/log |
| 23694 | 10 |
|
| 24884 | 11 |
|
12 |
## Emacs ProofGeneral |
|
13 |
||
14 |
cd "$ISABELLE_HOME/etc" |
|
15 |
||
16 |
isatool keywords -t emacs \ |
|
|
24903
57a33f4c2c19
moved HOL-Nominal keywords into default collection (isar-keywords.el);
wenzelm
parents:
24884
diff
changeset
|
17 |
"$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/HOL.gz" "$LOG/HOLCF.gz" "$LOG/IOA.gz" "$LOG/HOL-Nominal.gz" |
|
24878
7ed3077528b6
use isatool keywords -- generate from logs instead of session images;
wenzelm
parents:
23694
diff
changeset
|
18 |
|
| 24884 | 19 |
isatool keywords -t emacs -k ZF \ |
20 |
"$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/FOL.gz" "$LOG/ZF.gz" |
|
21 |
||
22 |
||
23 |
## jEdit |
|
24 |
||
25 |
cd "$ISABELLE_HOME/lib/jedit" |
|
26 |
||
27 |
isatool keywords -t jedit \ |
|
28 |
"$LOG/Pure.gz" "$LOG/HOL.gz" "$LOG/HOLCF.gz" "$LOG/IOA.gz" "$LOG/HOL-Nominal.gz" "$LOG/FOL.gz" "$LOG/ZF.gz" |
|
29 |