diff options
| author | leonardo <leonardo@microsoft.com> | 2014-09-02 09:43:24 -0700 |
|---|---|---|
| committer | leonardo <leonardo@microsoft.com> | 2014-09-02 09:43:24 -0700 |
| commit | 491fec23ef01687906f5d71ee718522cd2917926 (patch) | |
| tree | 482d42349108f2e8d9d75e6249df20aac9f831b1 /pygments/lexers/compiled.py | |
| parent | 750ca02ad15f5c6a8090e090f08c659748cfc592 (diff) | |
| download | pygments-491fec23ef01687906f5d71ee718522cd2917926.tar.gz | |
Add lexer for lean theorem prover
Diffstat (limited to 'pygments/lexers/compiled.py')
0 files changed, 0 insertions, 0 deletions