-
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 #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…
Fix #563. Refactor search blacklist custom to avoid dual-send bug.
#564
by Matafou
was merged Mar 21, 2021
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 #596 - outdated documentation for setup coq-prog-xxx.
kind: cleanup
kind: documentation
#598
by Matafou
was merged Sep 13, 2021
Loading…
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…
Previous Next
ProTip!
Mix and match filters to narrow down what you’re looking for.