wneuper/isa: Admin/update-keywords@2307efbfc554

     1 #!/usr/bin/env bash

2 #

     3 # Author: Makarius

4 #

     5 # DESCRIPTION: Update standard keyword files for Emacs Proof General

     7 ISABELLE_HOME="$(isabelle getenv -b ISABELLE_HOME)"

     8 LOG="$(isabelle getenv -b ISABELLE_OUTPUT)"/log

    11 cd "$ISABELLE_HOME/etc"

    13 isabelle keywords \

    14   "$LOG/Pure.gz" "$LOG/HOL.gz" "$LOG/HOLCF.gz" "$LOG/HOL-Boogie.gz" \

    15   "$LOG/HOL-Library.gz" "$LOG/HOL-Nominal.gz" "$LOG/HOL-Statespace.gz" \

    16   "$LOG/HOL-SPARK.gz" "$LOG/HOL-TPTP.gz" "$LOG/HOL-Import.gz"

    18 isabelle keywords -k ZF \

    19   "$LOG/Pure.gz" "$LOG/FOL.gz" "$LOG/ZF.gz"

author	blanchet
	Thu, 26 Jul 2012 11:08:16 +0200
changeset 49549	2307efbfc554
parent 48138	4c7548e7df86
child 49724	719f458cd89e
permissions	-rwxr-xr-x