Skip to content

Pull requests: ProofGeneral/PG

New pull request New
Clear current search query, filters, and sorts
1 Open 28 Closed
1 Open 28 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Reduce splash time to 1s. kind: enhancement
#768 by Matafou was merged Jun 15, 2024 Loading…
6
Adding QRHL-tool in the CHANGES file. kind: documentation
#663 by Matafou was merged Jul 7, 2022 Loading…
4
test: Replace omega with lia in CI & Add Coq versions kind: test
#650 by Matafou was merged Apr 6, 2022 Loading…
@erikmd
2
Fix #618 - Support for command "Derive SuchThat As".
#649 by Matafou was merged Mar 29, 2022 Loading…
1
Fix #599, bad detection of "Proof" in "Proof using" suggestions.
#648 by Matafou was merged Mar 29, 2022 Loading…
1
Fix #646. Indentation of function arguments.
#647 by Matafou was merged Mar 29, 2022 Loading…
1
2
Fix #625 Indentation very slow.
#629 by Matafou was merged Nov 25, 2021 Loading…
Fix indent user prefs
#617 by Matafou was merged Mar 28, 2022 Loading…
1
Fix #614. Cause by 8215623.
#615 by Matafou was merged Nov 9, 2021 Loading…
2
Fix #608. PG not auto adapting window width.
#609 by Matafou was merged Oct 13, 2021 Loading…
1 task
4
Fix #597; ProofGeneral cannot step over Fail correctly
#607 by Matafou was merged Oct 13, 2021 Loading…
2 tasks done
1
fix #596 - outdated documentation for setup coq-prog-xxx. kind: cleanup kind: documentation
#598 by Matafou was merged Sep 13, 2021 Loading…
1
15
New indentation engine kind: enhancement kind: test
#591 by Matafou was merged Sep 10, 2021 Loading…
1 task
24
Fix #562. Lazy/multi_?match indentation support.
#566 by Matafou was merged Mar 21, 2021 Loading…
Fix #563. Refactor search blacklist custom to avoid dual-send bug.
#564 by Matafou was merged Mar 21, 2021 Loading…
1
7
Nosub goals
#535 by Matafou was merged Jan 15, 2021 Loading…
5
Fix #514 + support for named goal selector. kind: fix
#520 by Matafou was merged Oct 16, 2020 Loading…
Fix #518: "Proof using" mode corrupts "Proof with tac". kind: fix
#519 by Matafou was merged Oct 16, 2020 Loading…
1
New hook for early prompt/output analyzis.
#495 by Matafou was merged Jun 4, 2020 Loading…
10
Fix 464: proof-autoloads not found by Emacs
#470 by Matafou was merged Mar 13, 2020 Loading…
1
Fix #465: Indentation of Equations (plugin).
#469 by Matafou was merged Mar 12, 2020 Loading…
1
Generic monadic indentation + specifically ext-lib / Compcert + doc.
#452 by Matafou was merged Jan 20, 2020 Loading…
4
FIX #422.
#423 by Matafou was merged May 22, 2019 Loading…
1
Fix indentation
#163 by Matafou was merged Mar 3, 2017 Loading…
Refreshing goal when Set Printing xxx.
#162 by Matafou was merged Mar 3, 2017 Loading…
4
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.