-
Notifications
You must be signed in to change notification settings - Fork 87
Pull requests: ProofGeneral/PG
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Trying to not delete frames too eagerly when laying out.
kind: enhancement
#2
by Matafou
was merged Oct 12, 2015
Loading…
Remove default absolute name from coq-prog-name (Fixes #76), but keep displaying…
#132
by Matafou
was merged Dec 14, 2016
Loading…
Generic monadic indentation + specifically ext-lib / Compcert + doc.
#452
by Matafou
was merged Jan 20, 2020
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…
Fix #518: "Proof using" mode corrupts "Proof with tac".
kind: fix
#519
by Matafou
was merged Oct 16, 2020
Loading…
Fix #514 + support for named goal selector.
kind: fix
#520
by Matafou
was merged Oct 16, 2020
Loading…
New indentation engine
kind: enhancement
kind: test
#591
by Matafou
was merged Sep 10, 2021
Loading…
1 task
Fix #608. PG not auto adapting window width.
#609
by Matafou
was merged Oct 13, 2021
Loading…
1 task
Fix #597; ProofGeneral cannot step over
Fail
correctly
#607
by Matafou
was merged Oct 13, 2021
Loading…
2 tasks done
Fix #618 - Support for command "Derive SuchThat As".
#649
by Matafou
was merged Mar 29, 2022
Loading…
Fix #599, bad detection of "Proof" in "Proof using" suggestions.
#648
by Matafou
was merged Mar 29, 2022
Loading…
test: Replace
omega
with lia
in CI & Add Coq versions
kind: test
#650
by Matafou
was merged Apr 6, 2022
Loading…
Adding QRHL-tool in the CHANGES file.
kind: documentation
#663
by Matafou
was merged Jul 7, 2022
Loading…
Previous Next
ProTip!
Adding no:label will show everything without a label.