Admin/update-keywords
author wenzelm
Tue Jul 10 16:45:05 2007 +0200 (2007-07-10)
changeset 23702 58ca991e0702
parent 23694 431782022495
child 24878 7ed3077528b6
permissions -rwxr-xr-x
removed no_state markup -- produce empty state;
Markup.add_mode;
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