delta/python-packages/pygments.git/tests/examplefiles/test.agda, branch c-function-keywords

delta/python-packages/pygments.git/tests/examplefiles/test.agda, branch c-function-keywords bitbucket.org: Obsolete (use python-packages/pygments-git) Added 5 keywords to Agda lexer. Extended test. 2014-10-02T21:31:45+00:00 abel abel@agda 2014-10-02T21:31:45+00:00 1c26f1a864cbc8deee3fef0cb292e3e67c084200 Added 'instance', 'postulate', 'renaming', 'tactic', 'unquoteDecl'. Added the first three to test.agda.

Added 'instance', 'postulate', 'renaming', 'tactic', 'unquoteDecl'.
Added the first three to test.agda.

Test files for Agda and literate Agda mode 2013-05-19T18:58:32+00:00 Tim Baumann tim@timbaumann.info 2013-05-19T18:58:32+00:00 91aeb371752f8c10dda0bbc156452bcb6839bd21