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

delta/python-packages/pygments.git/tests/examplefiles/test.lean, branch c-function-keywords bitbucket.org: Obsolete (use python-packages/pygments-git) Add lexer for lean theorem prover 2014-09-02T16:43:24+00:00 leonardo leonardo@microsoft.com 2014-09-02T16:43:24+00:00 491fec23ef01687906f5d71ee718522cd2917926