changeset 21301 | 8ebeab377939 |
child 23694 | 431782022495 |
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