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"