Admin/update-keywords
author wenzelm
Fri May 11 00:43:46 2007 +0200 (2007-05-11)
changeset 22932 53005f898665
parent 21301 8ebeab377939
child 23694 431782022495
permissions -rwxr-xr-x
bang_facts: warning;
wenzelm@21301
     1
#!/usr/bin/env bash
wenzelm@21301
     2
#
wenzelm@21301
     3
# $Id$
wenzelm@21301
     4
# Author: Makarius
wenzelm@21301
     5
#
wenzelm@21301
     6
# DESCRIPTION: Update standard keyword files.
wenzelm@21301
     7
wenzelm@21301
     8
isabelle -qe 'ProofGeneral.write_keywords "";' IOA
wenzelm@21301
     9
isabelle -qe 'ProofGeneral.write_keywords "HOL-Nominal";' HOL-Nominal
wenzelm@21301
    10
isabelle -qe 'ProofGeneral.write_keywords "ZF";' ZF