Admin/update-keywords
author wenzelm
Mon Oct 08 18:13:01 2007 +0200 (2007-10-08)
changeset 24903 57a33f4c2c19
parent 24884 d1e7c1b45c8d
child 25175 66a33a664609
permissions -rwxr-xr-x
moved HOL-Nominal keywords into default collection (isar-keywords.el);
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@24903
    17
  "$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/HOL.gz" "$LOG/HOLCF.gz" "$LOG/IOA.gz" "$LOG/HOL-Nominal.gz"
wenzelm@24878
    18
wenzelm@24884
    19
isatool keywords -t emacs -k ZF \
wenzelm@24884
    20
  "$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/FOL.gz" "$LOG/ZF.gz"
wenzelm@24884
    21
wenzelm@24884
    22
wenzelm@24884
    23
## jEdit
wenzelm@24884
    24
wenzelm@24884
    25
cd "$ISABELLE_HOME/lib/jedit"
wenzelm@24884
    26
wenzelm@24884
    27
isatool keywords -t jedit \
wenzelm@24884
    28
  "$LOG/Pure.gz" "$LOG/HOL.gz" "$LOG/HOLCF.gz" "$LOG/IOA.gz" "$LOG/HOL-Nominal.gz" "$LOG/FOL.gz" "$LOG/ZF.gz"
wenzelm@24884
    29