# HG changeset patch
# User wenzelm
# Date 1026836748 -7200
# Node ID d3c7d05d88398e9f29e6175305b31c39138cf38e
# Parent  c26eeb000470e5e33533a4a4c5d021e7aa551246
updated;

diff -r c26eeb000470 -r d3c7d05d8839 etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el	Tue Jul 16 16:29:36 2002 +0200
+++ b/etc/isar-keywords-ZF.el	Tue Jul 16 18:25:48 2002 +0200
@@ -189,6 +189,7 @@
     "is"
     "monos"
     "notes"
+    "open"
     "output"
     "overloaded"
     "recursor_eqns"
diff -r c26eeb000470 -r d3c7d05d8839 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Tue Jul 16 16:29:36 2002 +0200
+++ b/etc/isar-keywords.el	Tue Jul 16 18:25:48 2002 +0200
@@ -202,6 +202,7 @@
     "monos"
     "morphisms"
     "notes"
+    "open"
     "output"
     "outputs"
     "overloaded"