author wenzelm
Wed, 03 Nov 2010 21:53:56 +0100
changeset 40335 3e4bb6e7c3ca
parent 38837 b47ee8df7ab4
child 41563 0b0cec12aae3
permissions -rwxr-xr-x
feeder: treat header as escaped utf8 to allow initial ML text to refer to non-ASCII file/directory names (e.g. "Documents/" on Chinese Ubuntu);

#!/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


isabelle keywords \
  "$LOG/Pure.gz" "$LOG/HOL.gz" "$LOG/HOLCF.gz" "$LOG/HOL-Boogie.gz" \
  "$LOG/HOL-Nominal.gz" "$LOG/HOL-Statespace.gz"

isabelle keywords -k ZF \
  "$LOG/Pure.gz" "$LOG/FOL.gz" "$LOG/ZF.gz"