Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / gmalecha/coq-ltac-iter issues and pull requests
#9 - Cleanup is possible in newer versions of Coq
Issue -
State: open - Opened by JasonGross over 4 years ago
#8 - Upgrade for Coq 8.11
Pull Request -
State: closed - Opened by Tuplanolla almost 5 years ago
- 2 comments
#7 - Last example of Iterating Premises
Issue -
State: open - Opened by zunction almost 5 years ago
#6 - avoid anomolies when a hint database doesn't exist
Pull Request -
State: closed - Opened by gmalecha over 5 years ago
#5 - Fix README to reflect it doesn't need plugin-utils anymore
Pull Request -
State: closed - Opened by jmgrosen over 5 years ago
- 1 comment
#4 - Typo in README.md: leftover "run" keyword
Issue -
State: closed - Opened by jeremie-koenig about 9 years ago
- 2 comments
#3 - build problems
Issue -
State: closed - Opened by jonleivent about 9 years ago
- 2 comments
Labels: bug
#2 - Add an option to filter hints with a given pattern
Issue -
State: open - Opened by jeremie-koenig about 9 years ago
- 1 comment
Labels: enhancement
#1 - extend these iterators to other collections - like hypotheses, evars, etc.
Issue -
State: open - Opened by jonleivent about 9 years ago
- 2 comments