Added support for highlighting 'isn't' in PG.

math-comp · Oct 26, 2015 · 35124d2 · 35124d2
1 parent 254379d
commit 35124d2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/mathcomp/ssreflect/pg-ssr.el b/mathcomp/ssreflect/pg-ssr.el
@@ -35,7 +35,7 @@
   "Extended list of tacticals, includings ssr and user defined ones")
 
 (defcustom coq-user-reserved-db
-  '("is" "nosimpl" "of")
+  '("is" "isn't" "nosimpl" "of")
   "Extended list of keywords, includings ssr and user defined ones")
 
 (defcustom coq-user-solve-tactics-db