diff options
| author | abel <abel@agda> | 2014-10-02 23:31:45 +0200 |
|---|---|---|
| committer | abel <abel@agda> | 2014-10-02 23:31:45 +0200 |
| commit | 1c26f1a864cbc8deee3fef0cb292e3e67c084200 (patch) | |
| tree | 9171027bb9ea1b5ea2ab9d3ed6bfe2d29735e573 /pygments/util.py | |
| parent | 55e07ae2d60f3807bfee30b52f06be6cfccc2fc1 (diff) | |
| download | pygments-1c26f1a864cbc8deee3fef0cb292e3e67c084200.tar.gz | |
Added 5 keywords to Agda lexer. Extended test.
Added 'instance', 'postulate', 'renaming', 'tactic', 'unquoteDecl'.
Added the first three to test.agda.
Diffstat (limited to 'pygments/util.py')
0 files changed, 0 insertions, 0 deletions