Admin/update-keywords
author wenzelm
Fri Dec 29 17:24:46 2006 +0100 (2006-12-29)
changeset 21935 4e20a5397b57
parent 21301 8ebeab377939
child 23694 431782022495
permissions -rwxr-xr-x
renamed project to subgraph, improved presentation, avoided unnecessary evaluation of predicate;
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