Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
use isatool keywords -- generate from logs instead of session images;
authorwenzelm
Sat, 06 Oct 2007 22:07:16 +0200
changeset 24878 7ed3077528b6
parent 24877 81147215a12c
child 24879 48e2168b0ea9
use isatool keywords -- generate from logs instead of session images;
Admin/update-keywords file | annotate | diff | comparison | revisions 
--- 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"
+
isabelle