-
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
Generic monadic indentation + specifically ext-lib / Compcert + doc.
#452
by Matafou
was merged Jan 20, 2020
Loading…
Remove default absolute name from coq-prog-name (Fixes #76), but keep displaying…
#132
by Matafou
was merged Dec 14, 2016
Loading…
Trying to not delete frames too eagerly when laying out.
kind: enhancement
#2
by Matafou
was merged Oct 12, 2015
Loading…
Previous Next
ProTip!
Mix and match filters to narrow down what you’re looking for.