| author | wenzelm |
| Sat, 06 Oct 2007 22:07:16 +0200 | |
| changeset 24878 | 7ed3077528b6 |
| parent 23694 | 431782022495 |
| child 24884 | d1e7c1b45c8d |
| permissions | -rwxr-xr-x |
| 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@23694 | 8 |
cd "$(isatool getenv -b ISABELLE_HOME)"/etc |
| wenzelm@24878 | 9 |
LOG="$(isatool getenv -b ISABELLE_OUTPUT)"/log |
| wenzelm@23694 | 10 |
|
| wenzelm@24878 | 11 |
isatool keywords "$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/HOL.gz" "$LOG/HOLCF.gz" "$LOG/IOA.gz" |
| wenzelm@24878 | 12 |
isatool keywords -k HOL-Nominal "$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/HOL.gz" "$LOG/HOL-Nominal.gz" |
| wenzelm@24878 | 13 |
isatool keywords -k ZF "$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/FOL.gz" "$LOG/ZF.gz" |
| wenzelm@24878 | 14 |