equal
deleted
inserted
replaced
3 # $Id$ |
3 # $Id$ |
4 # Author: Makarius |
4 # Author: Makarius |
5 # |
5 # |
6 # DESCRIPTION: Update standard keyword files. |
6 # DESCRIPTION: Update standard keyword files. |
7 |
7 |
|
8 cd "$(isatool getenv -b ISABELLE_HOME)"/etc |
|
9 |
8 isabelle -qe 'ProofGeneral.write_keywords "";' IOA |
10 isabelle -qe 'ProofGeneral.write_keywords "";' IOA |
9 isabelle -qe 'ProofGeneral.write_keywords "HOL-Nominal";' HOL-Nominal |
11 isabelle -qe 'ProofGeneral.write_keywords "HOL-Nominal";' HOL-Nominal |
10 isabelle -qe 'ProofGeneral.write_keywords "ZF";' ZF |
12 isabelle -qe 'ProofGeneral.write_keywords "ZF";' ZF |