From 35124d2e255e5f88d99ddc65361d6997b0a2b751 Mon Sep 17 00:00:00 2001
From: Assia Mahboubi
Date: Mon, 26 Oct 2015 19:10:53 +0100
Subject: Added support for highlighting 'isn't' in PG.

---
 mathcomp/ssreflect/pg-ssr.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'mathcomp')

diff --git a/mathcomp/ssreflect/pg-ssr.el b/mathcomp/ssreflect/pg-ssr.el
index a4b845a..3ef7271 100644
--- 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
-- 
cgit v1.2.3