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;
     1 #!/usr/bin/env bash
     2 #
     3 # $Id$
     4 # Author: Makarius
     5 #
     6 # DESCRIPTION: Update standard keyword files.
     7 
     8 isabelle -qe 'ProofGeneral.write_keywords "";' IOA
     9 isabelle -qe 'ProofGeneral.write_keywords "HOL-Nominal";' HOL-Nominal
    10 isabelle -qe 'ProofGeneral.write_keywords "ZF";' ZF