equal
deleted
inserted
replaced
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 |
8 cd "$(isatool getenv -b ISABELLE_HOME)"/etc |
|
9 LOG="$(isatool getenv -b ISABELLE_OUTPUT)"/log |
9 |
10 |
10 isabelle -qe 'ProofGeneral.write_keywords "";' IOA |
11 isatool keywords "$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/HOL.gz" "$LOG/HOLCF.gz" "$LOG/IOA.gz" |
11 isabelle -qe 'ProofGeneral.write_keywords "HOL-Nominal";' HOL-Nominal |
12 isatool keywords -k HOL-Nominal "$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/HOL.gz" "$LOG/HOL-Nominal.gz" |
12 isabelle -qe 'ProofGeneral.write_keywords "ZF";' ZF |
13 isatool keywords -k ZF "$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/FOL.gz" "$LOG/ZF.gz" |
|
14 |