coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
...
* \|	[Sphinx] Move chapter 3 to new infrastructure	Maxime Dénès	2018-03-15
\|/
*	[Sphinx] Add chapter 16	Maxime Dénès	2018-03-15
\| \| \| \|	Thanks to Paul Steckler for porting this chapter.
*	[Sphinx] Move chapter 16 to new infrastructure	Maxime Dénès	2018-03-15
\|
*	[Sphinx] Add chapter 14	Maxime Dénès	2018-03-15
\| \| \| \|	Thanks to Paul Steckler for porting this chapter.
*	[Sphinx] Move chapter 14 to new infrastructure	Maxime Dénès	2018-03-15
\|
*	[Sphinx] Add chapter 13	Maxime Dénès	2018-03-15
\| \| \| \|	Thanks to Paul Steckler for porting this chapter.
*	[Sphinx] Move chapter 13 to new infrastructure	Maxime Dénès	2018-03-15
\|
*	[Sphinx] Add chapter 12	Maxime Dénès	2018-03-15
\| \| \| \|	Thanks to Clément Pit-Claudel for porting this chapter.
*	[Sphinx] Move chapter 12 to new infrastructure	Maxime Dénès	2018-03-15
\|
*	[Sphinx] Add chapter 10	Maxime Dénès	2018-03-15
\| \| \| \|	Thanks to Calvin Beck for porting this chapter.
*	[Sphinx] Move chapter 10 to new infrastructure	Maxime Dénès	2018-03-15
\|
*	[Sphinx] Add chapter 8	Maxime Dénès	2018-03-15
\| \| \| \|	Thanks to Heiko Becker and Nikita Zyuzin for porting this chapter.
*	[Sphinx] Move chapter 8 to new infrastructure	Maxime Dénès	2018-03-15
\|
*	[Sphinx] Add chapter 5	Maxime Dénès	2018-03-15
\| \| \| \|	Thanks to Richard Ford for porting this chapter.
*	[Sphinx] Move chapter 5 to new infrastructure	Maxime Dénès	2018-03-15
\|
*	[Sphinx] Add chapter 4	Maxime Dénès	2018-03-15
\| \| \| \|	Thanks to Richard Ford for porting this chapter.
*	[Sphinx] Move chapter 4 to new infrastructure	Maxime Dénès	2018-03-15
\|
*	[Sphinx] Add chapter 2	Maxime Dénès	2018-03-15
\| \| \| \|	Thanks to Paul Steckler for porting this chapter.
*	[Sphinx] Move chapter 2 to new infrastructure	Maxime Dénès	2018-03-15
\|
*	[Sphinx] Add credits	Maxime Dénès	2018-03-15
\|
*	[Sphinx] Move credits to new infrastructure	Maxime Dénès	2018-03-15
\|
*	[Sphinx] Add introduction	Maxime Dénès	2018-03-13
\| \| \| \|	I backported changes done to the LaTeX manual.
*	[Sphinx] Move introduction to new infrastructure	Maxime Dénès	2018-03-13
\|
*	[Sphinx] Add "edit on github"	Maxime Dénès	2018-03-13
\|
*	[Sphinx] Mention license	Maxime Dénès	2018-03-13
\|
*	[Sphinx] Remove ad-hoc color for links interfering with TOC	Maxime Dénès	2018-03-13
\|
*	[Sphinx] Update some metadata	Maxime Dénès	2018-03-13
\|
*	[Sphinx] Read version number from configure	Maxime Dénès	2018-03-13
\|
*	[Sphinx] Comment out metadata for unused backends	Maxime Dénès	2018-03-13
\|
*	[Sphinx] Remove information for .chm backend	Maxime Dénès	2018-03-13
\|
*	[Sphinx] add bibliography	Maxime Dénès	2018-03-13
\|
*	[Sphinx] Add indexes	Maxime Dénès	2018-03-13
\|
*	[Sphinx] Add table of contents	Maxime Dénès	2018-03-12
\|
*	[Sphinx] Add doc preamble	Maxime Dénès	2018-03-12
\|
*	Integration of a sphinx-based documentation generator.	Maxime Dénès	2018-03-09
	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.