New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
ProofGeneral being broken in melpa-stable is confusing
kind: infrastructure
kind: question
#509
opened Aug 18, 2020 by
samontea
Add some EasyCrypt integration test to the CI?
help wanted
kind: infrastructure
kind: test
#505
opened Jun 20, 2020 by
erikmd
Output of "Time" is hidden when this is the last goal in a "{...}"
#502
opened Jun 19, 2020 by
RalfJung
Add documentation for #490 - Improve PG support of Show Proof Diffs
kind: documentation
#497
opened May 29, 2020 by
erikmd
Every command to Coq also sends "Show." and gets error "This command requires an open proof."
#458
opened Feb 13, 2020 by
jeapostrophe
Coq PG doesn't recognize the new quotation mechanism of coq/coq#9733
#437
opened Aug 8, 2019 by
pi8027
Previous Next
ProTip!
Exclude everything labeled
bug with -label:bug.