aboutsummaryrefslogtreecommitdiff
path: root/ide/nanoPG.ml
AgeCommit message (Expand)Author
2013-08-08Add a (very minimal) Proof General mode to CoqIDEgareuselesinge
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-27 00:47:04 +0000