aboutsummaryrefslogtreecommitdiff
path: root/ide/ideproof.mli
AgeCommit message (Expand)Author
2012-07-16Added abstration layer to goal display in CoqIDE, and cleaned partsppedrot
2012-05-23Fixed #2782.ppedrot
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-11 00:34:31 +0000