Admin/update-keywords
changeset 24878 7ed3077528b6
parent 23694 431782022495
child 24884 d1e7c1b45c8d
     1.1 --- a/Admin/update-keywords	Sat Oct 06 22:07:15 2007 +0200
     1.2 +++ b/Admin/update-keywords	Sat Oct 06 22:07:16 2007 +0200
     1.3 @@ -6,7 +6,9 @@
     1.4  # DESCRIPTION: Update standard keyword files.
     1.5  
     1.6  cd "$(isatool getenv -b ISABELLE_HOME)"/etc
     1.7 +LOG="$(isatool getenv -b ISABELLE_OUTPUT)"/log
     1.8  
     1.9 -isabelle -qe 'ProofGeneral.write_keywords "";' IOA
    1.10 -isabelle -qe 'ProofGeneral.write_keywords "HOL-Nominal";' HOL-Nominal
    1.11 -isabelle -qe 'ProofGeneral.write_keywords "ZF";' ZF
    1.12 +isatool keywords "$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/HOL.gz" "$LOG/HOLCF.gz" "$LOG/IOA.gz"
    1.13 +isatool keywords -k HOL-Nominal "$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/HOL.gz" "$LOG/HOL-Nominal.gz"
    1.14 +isatool keywords -k ZF "$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/FOL.gz" "$LOG/ZF.gz"
    1.15 +