Admin/update-keywords
author wenzelm
Sat Oct 06 22:07:16 2007 +0200 (2007-10-06)
changeset 24878 7ed3077528b6
parent 23694 431782022495
child 24884 d1e7c1b45c8d
permissions -rwxr-xr-x
use isatool keywords -- generate from logs instead of session images;
     1 #!/usr/bin/env bash
     2 #
     3 # $Id$
     4 # Author: Makarius
     5 #
     6 # DESCRIPTION: Update standard keyword files.
     7 
     8 cd "$(isatool getenv -b ISABELLE_HOME)"/etc
     9 LOG="$(isatool getenv -b ISABELLE_OUTPUT)"/log
    10 
    11 isatool keywords "$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/HOL.gz" "$LOG/HOLCF.gz" "$LOG/IOA.gz"
    12 isatool keywords -k HOL-Nominal "$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/HOL.gz" "$LOG/HOL-Nominal.gz"
    13 isatool keywords -k ZF "$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/FOL.gz" "$LOG/ZF.gz"
    14