| author | wenzelm |
| Mon, 29 Aug 2011 21:55:49 +0200 | |
| changeset 44574 | 24444588fddd |
| parent 44231 | f9799971ca97 |
| child 46951 | 4e032ac36134 |
| permissions | -rwxr-xr-x |
| 21301 | 1 |
#!/usr/bin/env bash |
2 |
# |
|
3 |
# Author: Makarius |
|
4 |
# |
|
| 33684 | 5 |
# DESCRIPTION: Update standard keyword files for Emacs Proof General |
| 21301 | 6 |
|
|
28504
7ad7d7d6df47
simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
wenzelm
parents:
28481
diff
changeset
|
7 |
ISABELLE_HOME="$(isabelle getenv -b ISABELLE_HOME)" |
|
7ad7d7d6df47
simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
wenzelm
parents:
28481
diff
changeset
|
8 |
LOG="$(isabelle getenv -b ISABELLE_OUTPUT)"/log |
| 23694 | 9 |
|
| 24884 | 10 |
|
11 |
cd "$ISABELLE_HOME/etc" |
|
12 |
||
| 33684 | 13 |
isabelle keywords \ |
|
38837
b47ee8df7ab4
discontinued separate Pure-ProofGeneral keywords session -- protocol commands are already defined in Pure;
wenzelm
parents:
37785
diff
changeset
|
14 |
"$LOG/Pure.gz" "$LOG/HOL.gz" "$LOG/HOLCF.gz" "$LOG/HOL-Boogie.gz" \ |
|
44231
f9799971ca97
include HOL-Library keywords for the sake of recdef;
wenzelm
parents:
41563
diff
changeset
|
15 |
"$LOG/HOL-Library.gz" "$LOG/HOL-Nominal.gz" "$LOG/HOL-Statespace.gz" \ |
|
f9799971ca97
include HOL-Library keywords for the sake of recdef;
wenzelm
parents:
41563
diff
changeset
|
16 |
"$LOG/HOL-SPARK.gz" |
|
24878
7ed3077528b6
use isatool keywords -- generate from logs instead of session images;
wenzelm
parents:
23694
diff
changeset
|
17 |
|
| 33684 | 18 |
isabelle keywords -k ZF \ |
|
38837
b47ee8df7ab4
discontinued separate Pure-ProofGeneral keywords session -- protocol commands are already defined in Pure;
wenzelm
parents:
37785
diff
changeset
|
19 |
"$LOG/Pure.gz" "$LOG/FOL.gz" "$LOG/ZF.gz" |
| 24884 | 20 |