# HG changeset patch
# User wenzelm
# Date 1014665620 -3600
# Node ID d697091d1591ff066eb03c2b383fc28ff8bbae0f
# Parent  6003b4f916c0d5b70aef3c610107e582d9c7e72c
updated;

diff -r 6003b4f916c0 -r d697091d1591 etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el	Mon Feb 25 18:02:22 2002 +0100
+++ b/etc/isar-keywords-ZF.el	Mon Feb 25 20:33:40 2002 +0100
@@ -191,6 +191,7 @@
     "output"
     "overloaded"
     "recursor_eqns"
+    "shows"
     "structure"
     "type_elims"
     "type_intros"
diff -r 6003b4f916c0 -r d697091d1591 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Mon Feb 25 18:02:22 2002 +0100
+++ b/etc/isar-keywords.el	Mon Feb 25 20:33:40 2002 +0100
@@ -209,6 +209,7 @@
     "pre"
     "rename"
     "restrict"
+    "shows"
     "signature"
     "states"
     "structure"