diff -r d92637b15a45 -r 431782022495 Admin/update-keywords --- 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