Admin/update-keywords
author wenzelm
Tue Jul 10 13:12:53 2007 +0200 (2007-07-10)
changeset 23694 431782022495
parent 21301 8ebeab377939
child 24878 7ed3077528b6
permissions -rwxr-xr-x
cd ISABELLE_HOME/etc;
     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