Admin/update-keywords
author haftmann
Tue Jul 10 17:30:50 2007 +0200 (2007-07-10)
changeset 23709 fd31da8f752a
parent 23694 431782022495
child 24878 7ed3077528b6
permissions -rwxr-xr-x
moved lfp_induct2 here
     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