-
Notifications
You must be signed in to change notification settings - Fork 92
Issues: ProofGeneral/PG
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
Issues list
remove Isabelle walkthrough example
good first issue
kind: documentation
#666
opened Aug 2, 2022 by
HuStmpHrrr
Remove remaining pointers to old websites and mailing lists at inf.ed.ac.uk
kind: cleanup
kind: documentation
#635
opened Dec 17, 2021 by
DavidAspinall
Add documentation for #490 - Improve PG support of Show Proof Diffs
kind: documentation
#497
opened May 29, 2020 by
erikmd
Document the new option Related to (unmaintained) async PG with asynchronous Coq proofs
coq-errormsg-as-failure
added in #238
kind: documentation
pg: async
#345
opened Mar 7, 2018 by
erikmd
2 tasks
ProTip!
Find all open issues with in progress development work with linked:pr.