COMPATIBILITY


1
2
3
4
5
6

Potential sources of incompatibilities between Coq V8.3 and V8.4
----------------------------------------------------------------

(see also file CHANGES)

TO BE DONE