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

-*- outline -*-

* Summary of Changes for Proof General 3.4pre from 3.3

  There are no changes yet.  This release is identical to the 3.3 release.
generated by cgit v1.2.3 (git 2.25.1) at 2026-09-24 15:05:49 +0000