Admin/update-keywords
author wenzelm
Thu Oct 04 14:42:11 2007 +0200 (2007-10-04)
changeset 24829 e1214fa781ca
parent 23694 431782022495
child 24878 7ed3077528b6
permissions -rwxr-xr-x
avoid gensym;
     1 #!/usr/bin/env bash
     2 #
     3 # $Id$
     4 # Author: Makarius
     5 #
     6 # DESCRIPTION: Update standard keyword files.
     7 
     8 cd "$(isatool getenv -b ISABELLE_HOME)"/etc
     9 
    10 isabelle -qe 'ProofGeneral.write_keywords "";' IOA
    11 isabelle -qe 'ProofGeneral.write_keywords "HOL-Nominal";' HOL-Nominal
    12 isabelle -qe 'ProofGeneral.write_keywords "ZF";' ZF