Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / clarus/coq-chick-blog issues and pull requests
#11 - How to step through Spec.v in CoqIDE?
Issue -
State: closed - Opened by lf94 over 4 years ago
- 5 comments
#10 - Add compatibility with Coq 8.10
Pull Request -
State: closed - Opened by clarus almost 5 years ago
#9 - Make an installable version
Pull Request -
State: closed - Opened by clarus about 5 years ago
#8 - Add Travis
Pull Request -
State: closed - Opened by clarus about 5 years ago
#7 - coq 8.5beta2 - cannot guess decreasing argument of fix.
Issue -
State: closed - Opened by wesen about 9 years ago
- 2 comments
#6 - Fixes minor grammar mistakes in readme.
Pull Request -
State: closed - Opened by alokmenghrajani almost 10 years ago
- 1 comment
#5 - Doesn't find cohttp.lwt even though it's installed :(
Issue -
State: closed - Opened by relrod almost 10 years ago
- 4 comments
#4 - Handle markdown
Issue -
State: open - Opened by clarus almost 10 years ago
Labels: enhancement
#3 - Interface to edit posts
Issue -
State: closed - Opened by clarus almost 10 years ago
#2 - Display the index page
Issue -
State: closed - Opened by clarus almost 10 years ago
#1 - Have a RESTful interface to edit users
Issue -
State: closed - Opened by clarus almost 10 years ago