Skip to content

Pull requests: ProofGeneral/PG

New pull request New
Clear current search query, filters, and sorts
3 Open 30 Closed
3 Open 30 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
Fix 464: proof-autoloads not found by Emacs
#470 by Matafou was merged Mar 13, 2020 Loading…
1
New hook for early prompt/output analyzis.
#495 by Matafou was merged Jun 4, 2020 Loading…
10
Fix #518: "Proof using" mode corrupts "Proof with tac". kind: fix
#519 by Matafou was merged Oct 16, 2020 Loading…
1
Fix #514 + support for named goal selector. kind: fix
#520 by Matafou was merged Oct 16, 2020 Loading…
Nosub goals
#535 by Matafou was merged Jan 15, 2021 Loading…
5
Fix #563. Refactor search blacklist custom to avoid dual-send bug.
#564 by Matafou was merged Mar 21, 2021 Loading…
1
7
Fix #562. Lazy/multi_?match indentation support.
#566 by Matafou was merged Mar 21, 2021 Loading…
Trying to not delete frames too eagerly when laying out. kind: enhancement
#2 by Matafou was merged Oct 12, 2015 Loading…
3
Fix #757 indentation of "\in" kind: fix part: indentation Problems with indentation feature of PG
#789 opened Sep 10, 2024 by Matafou Loading…
15
Fixing the debug mode (for recent coq verions).
#788 opened Sep 9, 2024 by Matafou Loading…
Fix #781 PG does not position to error. kind: fix pg: proof-shell Related to (default) master PG using proof-shell priority: high
#782 by Matafou was merged Sep 5, 2024 Loading…
11
Fixes #779 regression cannot step Fail correctly.
#780 by Matafou was merged Jul 8, 2024 Loading…
4
Fix #618 - Support for command "Derive SuchThat As".
#649 by Matafou was merged Mar 29, 2022 Loading…
1
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
New indentation engine kind: enhancement kind: test
#591 by Matafou was merged Sep 10, 2021 Loading…
1 task
24
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
ProTip! Exclude everything labeled bug with -label:bug.