# HG changeset patch
# User wenzelm
# Date 1163253145 -3600
# Node ID 8ebeab377939e3c3dadab1a62196245316eb8555
# Parent  2fbe0044edd99491196d7f4b6215f003e4c45331
Update standard keyword files.

diff -r 2fbe0044edd9 -r 8ebeab377939 Admin/update-keywords
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/update-keywords	Sat Nov 11 14:52:25 2006 +0100
@@ -0,0 +1,10 @@
+#!/usr/bin/env bash
+#
+# $Id$
+# Author: Makarius
+#
+# DESCRIPTION: Update standard keyword files.
+
+isabelle -qe 'ProofGeneral.write_keywords "";' IOA
+isabelle -qe 'ProofGeneral.write_keywords "HOL-Nominal";' HOL-Nominal
+isabelle -qe 'ProofGeneral.write_keywords "ZF";' ZF