diff -r e852f4d6af80 -r 0bc8d90d2717 Admin/lib/Tools/update_keywords
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/lib/Tools/update_keywords	Wed Aug 08 11:02:38 2012 +0200
@@ -0,0 +1,16 @@
+#!/usr/bin/env bash
+#
+# Author: Makarius
+#
+# DESCRIPTION: update standard keyword files for Emacs Proof General
+
+LOG="$ISABELLE_OUTPUT/log"
+
+cd "$ISABELLE_HOME/etc"
+
+"$ISABELLE_TOOL" keywords \
+  "$LOG/HOLCF.gz" "$LOG/HOL-Boogie.gz" "$LOG/HOL-Library.gz" "$LOG/HOL-Nominal.gz" \
+  "$LOG/HOL-Statespace.gz" "$LOG/HOL-SPARK.gz" "$LOG/HOL-TPTP.gz" "$LOG/HOL-Import.gz"
+
+"$ISABELLE_TOOL" keywords -k ZF "$LOG/ZF.gz"
+