# HG changeset patch
# User blanchet
# Date 1386012714 -3600
# Node ID 8dd1a354ee86e1582592de030731f66ee4859e03
# Parent  8a5e82425e557af26956f22882c8082e53f94b82
updated keywords

diff -r 8a5e82425e55 -r 8dd1a354ee86 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Mon Dec 02 20:31:54 2013 +0100
+++ b/etc/isar-keywords.el	Mon Dec 02 20:31:54 2013 +0100
@@ -344,7 +344,6 @@
     "module_name"
     "monos"
     "morphisms"
-    "no_discs_sels"
     "notes"
     "obtains"
     "open"
@@ -353,7 +352,6 @@
     "parametric"
     "permissive"
     "pervasive"
-    "rep_compat"
     "shows"
     "structure"
     "type_class"