coq/doc/sphinx/MIGRATING, branch master The formal proof system [doc] Address feedback on doc writer guide 2018-05-15T16:05:44+00:00 Clément Pit-Claudel 2018-05-04T23:02:11+00:00 d5bb8a4ae2f509532ecfb4a53bb91c64d992c2e6 Co-Authored-By: @Zimmi48 
Co-Authored-By: @Zimmi48
Integration of a sphinx-based documentation generator. 2018-03-09T14:12:51+00:00 Maxime Dénès 2017-02-10T14:52:24+00:00 4aaf28cc905bebf757b02ad911a6eed78714cac7 The original contribution is from Clément Pit-Claudel. I updated his code and integrated it with the Coq build system. Many improvements by Paul Steckler (MIT). This commit adds the infrastructure but no content. 
The original contribution is from Clément Pit-Claudel. I updated
his code and integrated it with the Coq build system. Many improvements
by Paul Steckler (MIT).

This commit adds the infrastructure but no content.