Admin/update-keywords
author bulwahn
Wed Sep 23 16:20:12 2009 +0200 (2009-09-23)
changeset 32670 cc0bae788b7e
parent 28504 7ad7d7d6df47
child 33684 29d8aaeb56e5
permissions -rwxr-xr-x
added a new example for the predicate compiler
wenzelm@21301
     1
#!/usr/bin/env bash
wenzelm@21301
     2
#
wenzelm@21301
     3
# $Id$
wenzelm@21301
     4
# Author: Makarius
wenzelm@21301
     5
#
wenzelm@21301
     6
# DESCRIPTION: Update standard keyword files.
wenzelm@21301
     7
wenzelm@28504
     8
ISABELLE_HOME="$(isabelle getenv -b ISABELLE_HOME)"
wenzelm@28504
     9
LOG="$(isabelle getenv -b ISABELLE_OUTPUT)"/log
wenzelm@23694
    10
wenzelm@24884
    11
wenzelm@24884
    12
## Emacs ProofGeneral
wenzelm@24884
    13
wenzelm@24884
    14
cd "$ISABELLE_HOME/etc"
wenzelm@24884
    15
wenzelm@28504
    16
isabelle keywords -t emacs \
wenzelm@28481
    17
  "$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/HOL.gz" "$LOG/HOLCF.gz" \
wenzelm@25175
    18
  "$LOG/IOA.gz" "$LOG/HOL-Nominal.gz" "$LOG/HOL-Statespace.gz"
wenzelm@24878
    19
wenzelm@28504
    20
isabelle keywords -t emacs -k ZF \
wenzelm@24884
    21
  "$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/FOL.gz" "$LOG/ZF.gz"
wenzelm@24884
    22
wenzelm@24884
    23
wenzelm@24884
    24
## jEdit
wenzelm@24884
    25
wenzelm@24884
    26
cd "$ISABELLE_HOME/lib/jedit"
wenzelm@24884
    27
wenzelm@28504
    28
isabelle keywords -t jedit \
wenzelm@28481
    29
  "$LOG/Pure.gz" "$LOG/HOL.gz" "$LOG/HOLCF.gz" "$LOG/IOA.gz" "$LOG/HOL-Nominal.gz" \
wenzelm@28481
    30
  "$LOG/HOL-Statespace.gz" "$LOG/FOL.gz" "$LOG/ZF.gz"