aboutsummaryrefslogtreecommitdiff
path: root/coq/CHANGES
blob: d5e8ab68d90e465c3d0aa045206909036ddb20b1 (plain) 
1
2
3
4
5

-*- outline -*-

* Summary of Changes for coq / Proof General 3.6

moved to ../CHANGES
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-27 12:56:28 +0000