--- /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"
+
--- a/Admin/update-keywords Wed Aug 08 10:56:37 2012 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,18 +0,0 @@
-#!/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/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 keywords -k ZF "$LOG/ZF.gz"
-