Fix Coq text analysis keywords

lexers/c/coq.go

@@ -1,15 +1,12 @@
 package c
 
 import (
-	"regexp"
 	"strings"
 
 	. "github.com/alecthomas/chroma" // nolint
 	"github.com/alecthomas/chroma/lexers/internal"
 )
 
-var coqAnalyzerQedCommandRe = regexp.MustCompile(`[qQ]ed`)
-
 // Coq lexer.
 var Coq = internal.Register(MustNewLexer(
 	&Config{
@@ -66,8 +63,7 @@ var Coq = internal.Register(MustNewLexer(
 		},
 	},
 ).SetAnalyser(func(text string) float32 {
-	if coqAnalyzerQedCommandRe.MatchString(text) &&
-		strings.Contains(text, "tauto") {
+	if strings.Contains(text, "Qed") && strings.Contains(text, "Proof") {
 		return 1.0
 	}