--- 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"
-