aboutsummaryrefslogtreecommitdiff
path: root/CHANGES
blob: 317cbb5a11efdc5183613f4ea20de9ade6e3bba4 (plain) 
1
2
3
4

Summary of Changes since Proof General 2.0
------------------------------------------

* Documentation improvements
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-08 01:27:59 +0000