michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

refactor(README.md): change Latex link from pygments to lstlean

Browse source
This commit is contained in:
Jeremy Avigad 2016-05-24 21:32:29 +02:00 committed by Leonardo de Moura
parent 2bc67cf936
commit 47843e4fe1
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
README.md
View file

@ -73,4 +73,4 @@ Miscellaneous
- [Library Style Conventions](doc/lean/library_style.org)
- [Git Commit Conventions](doc/commit_convention.md)
- [Automatic Builds](doc/make/travis.md)
- [Syntax Highlight Lean Code in LaTeX](doc/syntax_highlight_in_latex.md)
- [Syntax Highlight Lean Code in LaTeX](extras/latex/lstlean.md)