changeset 23694 | 431782022495 |
parent 21301 | 8ebeab377939 |
child 24878 | 7ed3077528b6 |
--- 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