summaryrefslogtreecommitdiff
path: root/pygments/lexers/verification.py
Commit message (Expand)AuthorAgeFilesLines
* Update Silver lexer, add missing keywordsFlorian Hahn2016-04-061-3/+4
* regexlint fixes.Georg Brandl2016-02-171-1/+1
* Add Silver to changelog, move Boogie&Silver to one module.Georg Brandl2016-02-171-0/+110