# HG changeset patch
# User wenzelm
# Date 1191701236 -7200
# Node ID 7ed3077528b64ae8f680eba071fef09b9ee31136
# Parent  81147215a12c79c36a8e2e528199ee1d08c5253c
use isatool keywords -- generate from logs instead of session images;

diff -r 81147215a12c -r 7ed3077528b6 Admin/update-keywords
--- a/Admin/update-keywords	Sat Oct 06 22:07:15 2007 +0200
+++ b/Admin/update-keywords	Sat Oct 06 22:07:16 2007 +0200
@@ -6,7 +6,9 @@
 # DESCRIPTION: Update standard keyword files.
 
 cd "$(isatool getenv -b ISABELLE_HOME)"/etc
+LOG="$(isatool getenv -b ISABELLE_OUTPUT)"/log
 
-isabelle -qe 'ProofGeneral.write_keywords "";' IOA
-isabelle -qe 'ProofGeneral.write_keywords "HOL-Nominal";' HOL-Nominal
-isabelle -qe 'ProofGeneral.write_keywords "ZF";' ZF
+isatool keywords "$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/HOL.gz" "$LOG/HOLCF.gz" "$LOG/IOA.gz"
+isatool keywords -k HOL-Nominal "$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/HOL.gz" "$LOG/HOL-Nominal.gz"
+isatool keywords -k ZF "$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/FOL.gz" "$LOG/ZF.gz"
+