diff options
| author | Assia Mahboubi | 2015-10-26 19:10:53 +0100 |
|---|---|---|
| committer | Assia Mahboubi | 2015-10-26 19:10:53 +0100 |
| commit | 35124d2e255e5f88d99ddc65361d6997b0a2b751 (patch) | |
| tree | 6af25d99eb77f9fabfebba99900158281221491b /mathcomp | |
| parent | 254379d32d0dac9481b5e54ea54baf613bfd611a (diff) | |
Added support for highlighting 'isn't' in PG.
Diffstat (limited to 'mathcomp')
| -rw-r--r-- | mathcomp/ssreflect/pg-ssr.el | 2 |
1 files changed, 1 insertions, 1 deletions
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 |