Class
Rouge::Lexers::Coq
In:
lib/rouge/lexers/coq.rb
Parent:
RegexLexer
Methods
analyze_text
classify
coq
end_sentence
gallina
keyopts
ltac
tacticals
terminators
Public Class methods
analyze_text
(text)
classify
(x)
coq
()
end_sentence
()
gallina
()
keyopts
()
ltac
()
tacticals
()
terminators
()
[Validate]