Pull requests · ProofGeneral/PG · GitHub

New pull request New

Clear current search query, filters, and sorts

3 Open 47 Closed

kind: fix part: indentation

#789 opened Sep 10, 2024 by Matafou

Loading…

updated Sep 20, 2024

Fixed an error when proof-ignore-for-undo-count is a function.

#679 opened Dec 15, 2022 by rssoc

Loading…

updated Sep 5, 2024

1

#389 opened Sep 11, 2018 by mituharu

Loading…

updated Apr 10, 2020

6

ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.