author | huffman |
Sun, 09 Oct 2011 11:13:53 +0200 | |
changeset 45122 | 49e305100097 |
parent 44231 | f9799971ca97 |
child 46951 | 4e032ac36134 |
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/HOL.gz" "$LOG/HOLCF.gz" "$LOG/HOL-Boogie.gz" \ "$LOG/HOL-Library.gz" "$LOG/HOL-Nominal.gz" "$LOG/HOL-Statespace.gz" \ "$LOG/HOL-SPARK.gz" isabelle keywords -k ZF \ "$LOG/Pure.gz" "$LOG/FOL.gz" "$LOG/ZF.gz"