-
Notifications
You must be signed in to change notification settings - Fork 85
Pull requests: ProofGeneral/PG
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
New indentation engine
kind: enhancement
kind: test
#591
by Matafou
was merged Sep 10, 2021
Loading…
1 task
Generic monadic indentation + specifically ext-lib / Compcert + doc.
#452
by Matafou
was merged Jan 20, 2020
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…
Trying to not delete frames too eagerly when laying out.
kind: enhancement
#2
by Matafou
was merged Oct 12, 2015
Loading…
fix #596 - outdated documentation for setup coq-prog-xxx.
kind: cleanup
kind: documentation
#598
by Matafou
was merged Sep 13, 2021
Loading…
Fix #597; ProofGeneral cannot step over
Fail
correctly
#607
by Matafou
was merged Oct 13, 2021
Loading…
2 tasks done
Fix #608. PG not auto adapting window width.
#609
by Matafou
was merged Oct 13, 2021
Loading…
1 task
Fix #599, bad detection of "Proof" in "Proof using" suggestions.
#648
by Matafou
was merged Mar 29, 2022
Loading…
Fix #618 - Support for command "Derive SuchThat As".
#649
by Matafou
was merged Mar 29, 2022
Loading…
Fix #563. Refactor search blacklist custom to avoid dual-send bug.
#564
by Matafou
was merged Mar 21, 2021
Loading…
Previous Next
ProTip!
Follow long discussions with comments:>50.