coq - The formal proof system

Age	Commit message (Expand)	Author
2018-03-15	[Sphinx] Add chapter 12	Maxime Dénès
2018-03-15	[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	[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	[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	[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	[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	[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-13	[Sphinx] Add introduction	Maxime Dénès
2018-03-13	[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-12	[Sphinx] Add table of contents	Maxime Dénès
2018-03-12	[Sphinx] Add doc preamble	Maxime Dénès
2018-03-09	Integration of a sphinx-based documentation generator.	Maxime Dénès