| author | wenzelm |
| Wed, 27 Aug 2008 16:32:48 +0200 | |
| changeset 28023 | 92dd3ad302b7 |
| parent 27385 | b16563f2d274 |
| child 28481 | b1e63755e402 |
| permissions | -rwxr-xr-x |
| wenzelm@21301 | 1 |
#!/usr/bin/env bash |
| wenzelm@21301 | 2 |
# |
| wenzelm@21301 | 3 |
# $Id$ |
| wenzelm@21301 | 4 |
# Author: Makarius |
| wenzelm@21301 | 5 |
# |
| wenzelm@21301 | 6 |
# DESCRIPTION: Update standard keyword files. |
| wenzelm@21301 | 7 |
|
| wenzelm@24884 | 8 |
ISABELLE_HOME="$(isatool getenv -b ISABELLE_HOME)" |
| wenzelm@24878 | 9 |
LOG="$(isatool getenv -b ISABELLE_OUTPUT)"/log |
| wenzelm@23694 | 10 |
|
| wenzelm@24878 | 11 |
|
| wenzelm@24884 | 12 |
## Emacs ProofGeneral |
| wenzelm@24884 | 13 |
|
| wenzelm@24884 | 14 |
cd "$ISABELLE_HOME/etc" |
| wenzelm@24884 | 15 |
|
| wenzelm@24884 | 16 |
isatool keywords -t emacs \ |
| wenzelm@27385 | 17 |
"$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/HOL-Plain.gz" "$LOG/HOL.gz" "$LOG/HOLCF.gz" \ |
| wenzelm@25175 | 18 |
"$LOG/IOA.gz" "$LOG/HOL-Nominal.gz" "$LOG/HOL-Statespace.gz" |
| wenzelm@24884 | 19 |
|
| wenzelm@24884 | 20 |
isatool keywords -t emacs -k ZF \ |
| wenzelm@24884 | 21 |
"$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/FOL.gz" "$LOG/ZF.gz" |
| wenzelm@24884 | 22 |
|
| wenzelm@24884 | 23 |
|
| wenzelm@24884 | 24 |
## jEdit |
| wenzelm@24884 | 25 |
|
| wenzelm@24884 | 26 |
cd "$ISABELLE_HOME/lib/jedit" |
| wenzelm@24884 | 27 |
|
| wenzelm@24884 | 28 |
isatool keywords -t jedit \ |
| wenzelm@27385 | 29 |
"$LOG/Pure.gz" "$LOG/HOL-Plain.gz" "$LOG/HOL.gz" "$LOG/HOLCF.gz" \ |
| wenzelm@27385 | 30 |
"$LOG/IOA.gz" "$LOG/HOL-Nominal.gz" "$LOG/HOL-Statespace.gz" "$LOG/FOL.gz" "$LOG/ZF.gz" |