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 )