coq/dev/doc/archive/COMPATIBILITY, branch master The formal proof system Move content of COMPATIBILITY to Changes chapter. 2019-03-31T07:19:03+00:00 Théo Zimmermann 2019-02-07T14:17:40+00:00 bdff9abf73327a2a69c00e9443e9e4fb24d6b6d4 






Remove clutter by moving historic unmaintained dev/doc files to an archive subfolder.
2019-03-15T12:32:36+00:00

Théo Zimmermann

2019-03-15T12:32:36+00:00

0063c4c985078fd181c4a3a149ccbb06752edc97