Codebase list coq / upstream/8.4_gamma0+really8.4beta2+dfsg COMPATIBILITY
upstream/8.4_gamma0+really8.4beta2+dfsg

Tree @upstream/8.4_gamma0+really8.4beta2+dfsg (Download .tar.gz)

COMPATIBILITY @upstream/8.4_gamma0+really8.4beta2+dfsg — raw · history · blame 

1
2
3
4
5
6
Potential sources of incompatibilities between Coq V8.3 and V8.4
----------------------------------------------------------------

(see also file CHANGES)

TO BE DONE