From a6e9fc1965981005eccbe54737d7d1a690f72065 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Mon, 17 Apr 2000 12:38:17 +0000
Subject: added 'hide';

---
 isar/isar-keywords.el | 1 +
 1 file changed, 1 insertion(+)

diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el
index 2e3edc7e..7645cce8 100644
--- a/isar/isar-keywords.el
+++ b/isar/isar-keywords.el
@@ -113,6 +113,7 @@
     "defer_recdef"
     "defs"
     "global"
+    "hide"
     "inductive"
     "inductive_cases"
     "judgment"
-- 
cgit v1.2.3