author | wenzelm |
Tue, 10 Jul 2007 13:12:53 +0200 | |
changeset 23694 | 431782022495 |
parent 21301 | 8ebeab377939 |
child 24878 | 7ed3077528b6 |
permissions | -rwxr-xr-x |
#!/usr/bin/env bash # # $Id$ # Author: Makarius # # 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