cd ISABELLE_HOME/etc;
authorwenzelm
Tue Jul 10 13:12:53 2007 +0200 (2007-07-10)
changeset 23694431782022495
parent 23693 d92637b15a45
child 23695 6c4662bb4862
cd ISABELLE_HOME/etc;
Admin/update-keywords
     1.1 --- a/Admin/update-keywords	Tue Jul 10 09:24:43 2007 +0200
     1.2 +++ b/Admin/update-keywords	Tue Jul 10 13:12:53 2007 +0200
     1.3 @@ -5,6 +5,8 @@
     1.4  #
     1.5  # DESCRIPTION: Update standard keyword files.
     1.6  
     1.7 +cd "$(isatool getenv -b ISABELLE_HOME)"/etc
     1.8 +
     1.9  isabelle -qe 'ProofGeneral.write_keywords "";' IOA
    1.10  isabelle -qe 'ProofGeneral.write_keywords "HOL-Nominal";' HOL-Nominal
    1.11  isabelle -qe 'ProofGeneral.write_keywords "ZF";' ZF