delta/python-packages/pygments.git/pygments/lexers/functional.py, branch fix-racket-lambdabitbucket.org: Obsolete (use python-packages/pygments-git)
Add Unicode prefix to lambda string literal in Racket lexer: u'?'2013-07-18T13:15:22+00:00Greg Hendershottgreghendershott@gmail.com2013-07-18T13:15:22+00:00efb9c5f752ecb0a73f1f677edfc786c9aec5442a
merge with timjb/pygments-main (Agda lexers), pull request #2032013-05-20T05:37:47+00:00Georg Brandlgeorg@python.org2013-05-20T05:37:47+00:00fcc0147c89efa90a992bf9a5b8560ef72eaba1eb
Cosmetic changes in Agda lexer2013-05-19T20:55:49+00:00Tim Baumanntim@timbaumann.info2013-05-19T20:55:49+00:00ac957840bdb18b1d4fb8202228cae6b00dd23a52
Factored out LiterateLexer as a base class for both LiterateAgdaLexer and2013-05-19T20:32:57+00:00Tim Baumanntim@timbaumann.info2013-05-19T20:32:57+00:00057a8da4c453d7507b2f879413c5de64b930391f
LiterateHaskellLexer.
LiterateHaskellLexer.
Test files for Agda and literate Agda mode2013-05-19T18:58:32+00:00Tim Baumanntim@timbaumann.info2013-05-19T18:58:32+00:0091aeb371752f8c10dda0bbc156452bcb6839bd21
merge with https://bitbucket.org/daanl/pygments-main/, pull request #2012013-05-19T07:24:37+00:00Georg Brandlgeorg@python.org2013-05-19T07:24:37+00:008d9ce74cd983b2a55159f48b213825b86cbcd158
merge with mgorny/pygments-vim-modelines-r1 (pull request #118)2013-05-19T07:02:27+00:00Georg Brandlgeorg@python.org2013-05-19T07:02:27+00:004275413185f40b6dac9f0ca42679a8b464185c27
Add support for Literate Agda (factoring out some helper functions2013-05-19T02:00:35+00:00Tim Baumanntim@timbaumann.info2013-05-19T02:00:35+00:00bc00600db992c277770fd3651e8a49aca4b58303
from the Literate Haskell implementation)
from the Literate Haskell implementation)
Added lexer for Agda2013-05-19T00:31:57+00:00Tim Baumanntim@timbaumann.info2013-05-19T00:31:57+00:00f91963a6ffd4d17e338e1d4ee3b9171889fc45b0