wenzelm@21301: #!/usr/bin/env bash
wenzelm@21301: #
wenzelm@21301: # Author: Makarius
wenzelm@21301: #
wenzelm@33684: # DESCRIPTION: Update standard keyword files for Emacs Proof General
wenzelm@21301: 
wenzelm@28504: ISABELLE_HOME="$(isabelle getenv -b ISABELLE_HOME)"
wenzelm@28504: LOG="$(isabelle getenv -b ISABELLE_OUTPUT)"/log
wenzelm@23694: 
wenzelm@24878: 
wenzelm@24884: cd "$ISABELLE_HOME/etc"
wenzelm@24884: 
wenzelm@33684: isabelle keywords \
wenzelm@39083:   "$LOG/Pure.gz" "$LOG/HOL.gz" "$LOG/HOLCF.gz" "$LOG/HOL-Boogie.gz" \
berghofe@41811:   "$LOG/HOL-Nominal.gz" "$LOG/HOL-Statespace.gz" "$LOG/HOL-SPARK.gz"
wenzelm@24884: 
wenzelm@33684: isabelle keywords -k ZF \
wenzelm@39083:   "$LOG/Pure.gz" "$LOG/FOL.gz" "$LOG/ZF.gz"
wenzelm@24884: