1 #!/usr/bin/env bash
2 #
3 # $Id$
4 # Author: Makarius
5 #
6 # DESCRIPTION: Update standard keyword files.
7
8 isabelle -qe 'ProofGeneral.write_keywords "";' IOA
9 isabelle -qe 'ProofGeneral.write_keywords "HOL-Nominal";' HOL-Nominal
10 isabelle -qe 'ProofGeneral.write_keywords "ZF";' ZF