diff options
Diffstat (limited to 'ide')
| -rw-r--r-- | ide/coq.lang | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/ide/coq.lang b/ide/coq.lang index e202e36b99..830a7b9819 100644 --- a/ide/coq.lang +++ b/ide/coq.lang @@ -48,6 +48,7 @@ </context> <context id="coq" class="no-spell-check"> <include> + <context ref="string"/> <context id="coqdoc" style-ref="coqdoc" class-disabled="no-spell-check"> <start>\(\*\*(\s|\z)</start> <end>\*\)</end> @@ -108,6 +109,7 @@ <match>\.\.</match> </context> <context ref="comment"/> + <context ref="string"/> <context ref="coqdoc"/> </include> </context> @@ -123,6 +125,7 @@ <context ref="command-for-qualit"/> <context ref="declaration"/> <context ref="comment"/> + <context ref="string"/> <context ref="coqdoc"/> <context ref="proof"/> <context ref="undotted-sep"/> |