Admin/update-keywords
author wenzelm
Fri Oct 03 19:35:14 2008 +0200 (2008-10-03)
changeset 28481 b1e63755e402
parent 27385 b16563f2d274
child 28504 7ad7d7d6df47
permissions -rwxr-xr-x
removed HOL-Plain -- already included in HOL;
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@24884
     8
ISABELLE_HOME="$(isatool getenv -b ISABELLE_HOME)"
wenzelm@24878
     9
LOG="$(isatool 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@24884
    16
isatool 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@24884
    20
isatool 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@24884
    28
isatool 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"