author | wenzelm |
Sat, 11 Nov 2006 14:52:25 +0100 | |
changeset 21301 | 8ebeab377939 |
parent 21300 | 2fbe0044edd9 |
child 21302 | 4c8f3dfc7124 |
1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000 1.2 +++ b/Admin/update-keywords Sat Nov 11 14:52:25 2006 +0100 1.3 @@ -0,0 +1,10 @@ 1.4 +#!/usr/bin/env bash 1.5 +# 1.6 +# $Id$ 1.7 +# Author: Makarius 1.8 +# 1.9 +# DESCRIPTION: Update standard keyword files. 1.10 + 1.11 +isabelle -qe 'ProofGeneral.write_keywords "";' IOA 1.12 +isabelle -qe 'ProofGeneral.write_keywords "HOL-Nominal";' HOL-Nominal 1.13 +isabelle -qe 'ProofGeneral.write_keywords "ZF";' ZF