Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / leanprover/mkleanbook issues and pull requests
#6 - Install doesn't really work on OSX
Issue -
State: open - Opened by kevinsullivan almost 8 years ago
#5 - fix(index.html,header/html.org): fix javascript errors in mobile safari ios10
Pull Request -
State: open - Opened by glangmead about 8 years ago
- 1 comment
#4 - Statements printed out of order
Issue -
State: open - Opened by spl about 8 years ago
#2 - [WIP] Server mode support
Pull Request -
State: closed - Opened by Kha about 8 years ago
#1 - fix(latexheader.tex): workaround to get rid of red boxes in pygments
Pull Request -
State: closed - Opened by avigad about 8 years ago