1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/Admin/lib/Tools/update_keywords	Wed Aug 08 11:02:38 2012 +0200
     1.3 @@ -0,0 +1,16 @@
     1.4 +#!/usr/bin/env bash
     1.5 +#
     1.6 +# Author: Makarius
     1.7 +#
     1.8 +# DESCRIPTION: update standard keyword files for Emacs Proof General
     1.9 +
    1.10 +LOG="$ISABELLE_OUTPUT/log"
    1.11 +
    1.12 +cd "$ISABELLE_HOME/etc"
    1.13 +
    1.14 +"$ISABELLE_TOOL" keywords \
    1.15 +  "$LOG/HOLCF.gz" "$LOG/HOL-Boogie.gz" "$LOG/HOL-Library.gz" "$LOG/HOL-Nominal.gz" \
    1.16 +  "$LOG/HOL-Statespace.gz" "$LOG/HOL-SPARK.gz" "$LOG/HOL-TPTP.gz" "$LOG/HOL-Import.gz"
    1.17 +
    1.18 +"$ISABELLE_TOOL" keywords -k ZF "$LOG/ZF.gz"
    1.19 +

     2.1 --- a/Admin/update-keywords	Wed Aug 08 10:56:37 2012 +0200
     2.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     2.3 @@ -1,18 +0,0 @@
     2.4 -#!/usr/bin/env bash
     2.5 -#
     2.6 -# Author: Makarius
     2.7 -#
     2.8 -# DESCRIPTION: Update standard keyword files for Emacs Proof General
     2.9 -
    2.10 -ISABELLE_HOME="$(isabelle getenv -b ISABELLE_HOME)"
    2.11 -LOG="$(isabelle getenv -b ISABELLE_OUTPUT)"/log
    2.12 -
    2.13 -
    2.14 -cd "$ISABELLE_HOME/etc"
    2.15 -
    2.16 -isabelle keywords \
    2.17 -  "$LOG/HOLCF.gz" "$LOG/HOL-Boogie.gz" "$LOG/HOL-Library.gz" "$LOG/HOL-Nominal.gz" \
    2.18 -  "$LOG/HOL-Statespace.gz" "$LOG/HOL-SPARK.gz" "$LOG/HOL-TPTP.gz" "$LOG/HOL-Import.gz"
    2.19 -
    2.20 -isabelle keywords -k ZF "$LOG/ZF.gz"
    2.21 -