aboutsummaryrefslogtreecommitdiffhomepage
path: root/COMPATIBILITY
blob: 0849b64f4a2b62c1ec88dd5dc91b7421074f068b (plain)
1
2
3
4
5
6
Potential sources of incompatibilities between Coq V8.3 and V8.4
----------------------------------------------------------------

(see also file CHANGES)

TO BE DONE