Pull requests: ProofGeneral/PG
Pull requests list
Miscellaneous improvements of qrhl-tool support
kind: enhancement
#675
by dominique-unruh
was merged Nov 28, 2022
Loading…
coq/coq.el: add a tiny bit of documentation
kind: documentation
#693
by hendriktews
was merged Mar 26, 2023
Loading…
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.