author | wenzelm |
Tue, 28 Aug 2012 17:57:47 +0200 | |
changeset 48983 | f9f900c1599e |
parent 48726 | 0bc8d90d2717 |
child 49510 | ba50d204095e |
permissions | -rwxr-xr-x |
21301 | 1 |
#!/usr/bin/env bash |
2 |
# |
|
3 |
# Author: Makarius |
|
4 |
# |
|
48726 | 5 |
# DESCRIPTION: update standard keyword files for Emacs Proof General |
21301 | 6 |
|
48726 | 7 |
LOG="$ISABELLE_OUTPUT/log" |
24884 | 8 |
|
9 |
cd "$ISABELLE_HOME/etc" |
|
10 |
||
48726 | 11 |
"$ISABELLE_TOOL" keywords \ |
48983
f9f900c1599e
more permanent update of keywords (cf. 3517d6f50b12);
wenzelm
parents:
48726
diff
changeset
|
12 |
"$LOG/HOLCF.gz" "$LOG/HOL-Boogie.gz" "$LOG/HOL-Codatatype.gz" "$LOG/HOL-Library.gz" "$LOG/HOL-Nominal.gz" \ |
48709
719f458cd89e
prefer static Build.outer_syntax in Isabelle/Scala session -- discontinued incremental protocol;
wenzelm
parents:
47267
diff
changeset
|
13 |
"$LOG/HOL-Statespace.gz" "$LOG/HOL-SPARK.gz" "$LOG/HOL-TPTP.gz" "$LOG/HOL-Import.gz" |
24878
7ed3077528b6
use isatool keywords -- generate from logs instead of session images;
wenzelm
parents:
23694
diff
changeset
|
14 |
|
48726 | 15 |
"$ISABELLE_TOOL" keywords -k ZF "$LOG/ZF.gz" |
24884 | 16 |