coq/doc/tools/coqrst/notations/Makefile, branch master The formal proof system Update headers in the whole code base. 2020-03-18T11:15:43+00:00 Théo Zimmermann 2020-03-18T11:14:26+00:00 a99776e10e0b2198d2b811ad82631111fb450f8a Add headers to a few files which were missing them. 
Add headers to a few files which were missing them.
Update py-style headers to new year. 2019-06-17T16:08:32+00:00 Théo Zimmermann 2019-06-06T09:22:08+00:00 7521031c01976b045f81b6123f9ee9be77122a55 






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.