| author | blanchet |
| Mon, 23 Jul 2012 15:32:30 +0200 | |
| changeset 49448 | 9e9b6e363859 |
| parent 48138 | 4c7548e7df86 |
| child 49724 | 719f458cd89e |
| permissions | -rwxr-xr-x |
| wenzelm@21301 | 1 |
#!/usr/bin/env bash |
| wenzelm@21301 | 2 |
# |
| wenzelm@21301 | 3 |
# Author: Makarius |
| wenzelm@21301 | 4 |
# |
| wenzelm@33684 | 5 |
# DESCRIPTION: Update standard keyword files for Emacs Proof General |
| wenzelm@21301 | 6 |
|
| wenzelm@28504 | 7 |
ISABELLE_HOME="$(isabelle getenv -b ISABELLE_HOME)" |
| wenzelm@28504 | 8 |
LOG="$(isabelle getenv -b ISABELLE_OUTPUT)"/log |
| wenzelm@23694 | 9 |
|
| wenzelm@24878 | 10 |
|
| wenzelm@24884 | 11 |
cd "$ISABELLE_HOME/etc" |
| wenzelm@24884 | 12 |
|
| wenzelm@33684 | 13 |
isabelle keywords \ |
| wenzelm@39083 | 14 |
"$LOG/Pure.gz" "$LOG/HOL.gz" "$LOG/HOLCF.gz" "$LOG/HOL-Boogie.gz" \ |
| wenzelm@45102 | 15 |
"$LOG/HOL-Library.gz" "$LOG/HOL-Nominal.gz" "$LOG/HOL-Statespace.gz" \ |
| krauss@48138 | 16 |
"$LOG/HOL-SPARK.gz" "$LOG/HOL-TPTP.gz" "$LOG/HOL-Import.gz" |
| wenzelm@24884 | 17 |
|
| wenzelm@33684 | 18 |
isabelle keywords -k ZF \ |
| wenzelm@39083 | 19 |
"$LOG/Pure.gz" "$LOG/FOL.gz" "$LOG/ZF.gz" |
| wenzelm@24884 | 20 |