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
wenzelm@21301
     1
#!/usr/bin/env bash
wenzelm@21301
     2
#
wenzelm@21301
     3
# $Id$
wenzelm@21301
     4
# Author: Makarius
wenzelm@21301
     5
#
wenzelm@21301
     6
# DESCRIPTION: Update standard keyword files.
wenzelm@21301
     7
wenzelm@23694
     8
cd "$(isatool getenv -b ISABELLE_HOME)"/etc
wenzelm@23694
     9
wenzelm@21301
    10
isabelle -qe 'ProofGeneral.write_keywords "";' IOA
wenzelm@21301
    11
isabelle -qe 'ProofGeneral.write_keywords "HOL-Nominal";' HOL-Nominal
wenzelm@21301
    12
isabelle -qe 'ProofGeneral.write_keywords "ZF";' ZF