coq - The formal proof system

Age	Commit message (Collapse)	Author
2021-04-17	Include (* ... *) comments in .. coqtop:: directives in Sphinx output	Jim Fehrle

2020-05-11	Checking validity of coqdoc file name.	Hugo Herbelin
	This fixes #12265 (javascript injection vulnerability in file name).
2020-05-08	Recursively look for the first string node	Quentin Carbonneaux

2020-05-07	Cleanup formatting in .. coqtop:: directives	Quentin Carbonneaux

2020-03-18	Update headers in the whole code base.	Théo Zimmermann
	Add headers to a few files which were missing them.
2019-06-17	Update py-style headers to new year.	Théo Zimmermann

2019-05-21	Fixing typos - Part 1	JPR

2018-12-13	[dune] [doc] Support for building the reference manual with Dune.	Emilio Jesus Gallego Arias
	This is a reduced version of #8503 as to provide a way to build the reference manual with Dune. Dune 1.6 supports (experimentally) directories as targets, thus we introduce a rule that will call `sphinx` to build the manual. This only provides build, however generation of `.install` rules is not done, it will be hopefully addressed in #8503. Note that we set `expire: 1 month` for all the artifacts we build with Dune. IMHO this makes most sense as not to abuse Gitlab's hosting, however of course we could consider a different deployment strategy if wanted.
2018-06-20	On cygwin, pass the filename in a format that coqdoc understands.	Jim Fehrle

2018-05-16	[sphinx] Bump timeout. Closes #7532.	Clément Pit-Claudel

2018-05-15	[doc] Compute the path to coqdoc at run time, not at load time	Clément Pit-Claudel

2018-03-09	Integration of a sphinx-based documentation generator.	Maxime Dénès
	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.