Admin/update-keywords
author wenzelm
Wed Oct 24 19:46:00 2007 +0200 (2007-10-24)
changeset 25175 66a33a664609
parent 24903 57a33f4c2c19
child 27385 b16563f2d274
permissions -rwxr-xr-x
added HOL-Statespace session;
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@25175
    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@25175
    29
  "$LOG/Pure.gz" "$LOG/HOL.gz" "$LOG/HOLCF.gz" "$LOG/IOA.gz" "$LOG/HOL-Nominal.gz" \
wenzelm@25175
    30
  "$LOG/HOL-Statespace.gz" "$LOG/FOL.gz" "$LOG/ZF.gz"
wenzelm@24884
    31