Admin/update-keywords
author wenzelm
Sat Nov 11 14:52:25 2006 +0100 (2006-11-11)
changeset 21301 8ebeab377939
child 23694 431782022495
permissions -rwxr-xr-x
Update standard keyword files.
     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