delta/python-packages/pygments.git/pygments/lexers/verification.py, branch rawstring bitbucket.org: Obsolete (use python-packages/pygments-git) Fixup all headers and some more minor problems. 2019-05-28T05:00:40+00:00 Georg Brandl georg@python.org 2019-05-28T05:00:40+00:00 0eca5a9db1b3c1f169f3fabda9fe9b72876a6056 






Housekeeping.
2017-01-22T18:04:18+00:00

Georg Brandl
georg@python.org

2017-01-22T18:04:18+00:00

ca1677ff64a8bfe04f3dd26a3554b6c11db7ee7f












Added new default file name for the Silver language.
2016-11-15T13:25:31+00:00

Vytautas Astrauskas
vastrauskas@gmail.com

2016-11-15T13:25:31+00:00

93c073eb0f3dbb637ee2d23c6de0d1153c2818d7












Added missing forperm keyword for the Silver verification language.
2016-11-15T13:17:17+00:00

Vytautas Astrauskas
vastrauskas@gmail.com

2016-11-15T13:17:17+00:00

88f82fe1228a958ac8eff1ea14d8c66b360488a3












Update Silver lexer, add missing keywords
2016-04-06T21:56:16+00:00

Florian Hahn
flo@fhahn.com

2016-04-06T21:56:16+00:00

59af55e1a349989513795f29b96596900eddc776












regexlint fixes.
2016-02-17T09:37:39+00:00

Georg Brandl
georg@python.org

2016-02-17T09:37:39+00:00

f6bb38daeebe6a7225a283641c36671b4f722e66












Add Silver to changelog, move Boogie&Silver to one module.
2016-02-17T08:43:45+00:00

Georg Brandl
georg@python.org

2016-02-17T08:43:45+00:00

dac5773b2c429599b1a62d15edae882b998fbae2