Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / armael/coq-procrastination issues and pull requests

#7 - Method of choosing contrib directory doesn't work everywhere

Issue - State: closed - Opened by jwiegley over 6 years ago - 7 comments

#6 - fixed bug that sometimes left an '/\ True' at the end of an deferred …

Pull Request - State: closed - Opened by fakusb over 6 years ago

#5 - fixed bug when deferring conjunction right befrore 'end defer'

Pull Request - State: closed - Opened by fakusb over 6 years ago - 3 comments

#4 - Speed up defer when "Group GOAL" contains redices

Pull Request - State: closed - Opened by fakusb over 6 years ago - 1 comment

#3 - Consider reimplementing everything in Ltac2

Issue - State: open - Opened by Armael over 6 years ago