lib/rouge/lexers/coq.rb in rouge_ecl-0.0.1 vs lib/rouge/lexers/coq.rb in rouge_ecl-1.0.0
- old
+ new
@@ -6,9 +6,13 @@
title "Coq"
desc 'Coq (coq.inria.fr)'
tag 'coq'
mimetypes 'text/x-coq'
+ def self.analyze_text(text)
+ return 0.3 if text.include? "Require"
+ end
+
def self.gallina
@gallina ||= Set.new %w(
as fun if in let match then else return end Type Set Prop
forall
)