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