# HG changeset patch
# User wenzelm
# Date 1271451169 -7200
# Node ID 2db3711b2b032db15df5e0d77be07678c0582aee
# Parent  f45c708bcc01a9f5467b710b1704ee69cb4282dd
updated keywords;

diff -r f45c708bcc01 -r 2db3711b2b03 etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el	Fri Apr 16 22:45:07 2010 +0200
+++ b/etc/isar-keywords-ZF.el	Fri Apr 16 22:52:49 2010 +0200
@@ -82,7 +82,10 @@
     "header"
     "help"
     "hence"
-    "hide"
+    "hide_class"
+    "hide_const"
+    "hide_fact"
+    "hide_type"
     "inductive"
     "inductive_cases"
     "init_toplevel"
@@ -372,7 +375,10 @@
     "extract_type"
     "finalconsts"
     "global"
-    "hide"
+    "hide_class"
+    "hide_const"
+    "hide_fact"
+    "hide_type"
     "inductive"
     "instantiation"
     "judgment"
diff -r f45c708bcc01 -r 2db3711b2b03 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Fri Apr 16 22:45:07 2010 +0200
+++ b/etc/isar-keywords.el	Fri Apr 16 22:52:49 2010 +0200
@@ -115,7 +115,10 @@
     "header"
     "help"
     "hence"
-    "hide"
+    "hide_class"
+    "hide_const"
+    "hide_fact"
+    "hide_type"
     "inductive"
     "inductive_cases"
     "inductive_set"
@@ -494,7 +497,10 @@
     "fixrec"
     "fun"
     "global"
-    "hide"
+    "hide_class"
+    "hide_const"
+    "hide_fact"
+    "hide_type"
     "inductive"
     "inductive_set"
     "instantiation"