author | wenzelm |
Sat, 14 Nov 2009 18:15:21 +0100 | |
changeset 33684 | 29d8aaeb56e5 |
parent 28504 | 7ad7d7d6df47 |
child 33687 | 3222fa052846 |
permissions | -rwxr-xr-x |
#!/usr/bin/env bash # # Author: Makarius # # DESCRIPTION: Update standard keyword files for Emacs Proof General ISABELLE_HOME="$(isabelle getenv -b ISABELLE_HOME)" LOG="$(isabelle getenv -b ISABELLE_OUTPUT)"/log cd "$ISABELLE_HOME/etc" isabelle keywords \ "$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/HOL.gz" "$LOG/HOLCF.gz" \ "$LOG/IOA.gz" "$LOG/HOL-Nominal.gz" "$LOG/HOL-Statespace.gz" isabelle keywords -k ZF \ "$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/FOL.gz" "$LOG/ZF.gz"