| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Added 5 keywords to Agda lexer. Extended test. | abel | 2014-10-02 | 1 | -0/+7 |
| | | | | | | Added 'instance', 'postulate', 'renaming', 'tactic', 'unquoteDecl'. Added the first three to test.agda. | ||||
| * | Test files for Agda and literate Agda mode | Tim Baumann | 2013-05-19 | 1 | -0/+102 |
 |
index : delta/python-packages/pygments.git | |
| bitbucket.org: Obsolete (use python-packages/pygments-git) |
| summaryrefslogtreecommitdiff |