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.
cd ISABELLE_HOME/etc;
authorwenzelm
Tue, 10 Jul 2007 13:12:53 +0200
changeset 23694 431782022495
parent 23693 d92637b15a45
child 23695 6c4662bb4862
cd ISABELLE_HOME/etc;
Admin/update-keywords file | annotate | diff | comparison | revisions 
--- a/Admin/update-keywords	Tue Jul 10 09:24:43 2007 +0200
+++ b/Admin/update-keywords	Tue Jul 10 13:12:53 2007 +0200
@@ -5,6 +5,8 @@
 #
 # DESCRIPTION: Update standard keyword files.
 
+cd "$(isatool getenv -b ISABELLE_HOME)"/etc
+
 isabelle -qe 'ProofGeneral.write_keywords "";' IOA
 isabelle -qe 'ProofGeneral.write_keywords "HOL-Nominal";' HOL-Nominal
 isabelle -qe 'ProofGeneral.write_keywords "ZF";' ZF
isabelle