summaryrefslogtreecommitdiff
path: root/pygments/lexers/verification.py
Commit message (Expand)AuthorAgeFilesLines
* Housekeeping.Georg Brandl2017-01-221-1/+1
* Added new default file name for the Silver language.Vytautas Astrauskas2016-11-151-1/+1
* Added missing forperm keyword for the Silver verification language.Vytautas Astrauskas2016-11-151-1/+1
* 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