coq - The formal proof system

Age	Commit message (Expand)	Author
2018-09-20	[doc] Include the rst and LaTeX preambles automatically in all files	Clément Pit-Claudel
2018-09-20	[doc] Fix a few LaTeX mistakes	Clément Pit-Claudel
2018-09-11	building-a-coq-project-with-coq-makefile:fix typos	Jason Gross
2018-08-31	Uniformized many spelling variants. Added .. warning:: and .. seealso:: direc...	Zeimer
2018-08-28	Merge PR #8281: Trivial Sphinx fix in doc.	Clément Pit-Claudel
2018-08-22	Fix #8251: remove "the the" occurrences	Gaëtan Gilbert
2018-08-21	Trivial Sphinx fix in doc.	Théo Zimmermann
2018-08-02	Merge PR #8143: Improved grammar and spelling in chapters 'Proof Schemes' and...	Théo Zimmermann
2018-08-02	Merge PR #8144: Improved grammar and spelling for chapters 'Utilities' and 'C...	Théo Zimmermann
2018-08-01	Improved grammar and spelling in chapters 'Proof Schemes' and 'The Coq comman...	Zeimer
2018-08-01	Improved grammar and spelling for chapters 'Utilities' and 'CoqIDE' of the Re...	Zeimer
2018-07-30	[sphinx] Use arguments of '.. example::' directive as a title	Clément Pit-Claudel
2018-07-27	Missing backslash in the documentation file.	Martin Bodin
2018-07-08	Remove Emacs modes.	Théo Zimmermann
2018-06-25	Archive the `gallina` tool	Vincent Laporte
2018-06-04	Merge PR #7481: document 7025 (coq_makefile flag variables)	Maxime Dénès
2018-05-16	Minor update of the documentation/man about the resource file.	Hugo Herbelin
2018-05-16	document 7025	Enrico Tassi
2018-05-05	[sphinx] Fix a porting mistake.	Théo Zimmermann
2018-05-05	[sphinx] Fix a typo that appeared during the migration.	Théo Zimmermann
2018-04-14	[Sphinx] Fix all remaining warnings.	Maxime Dénès
2018-04-14	[sphinx] Fix many warnings.	Théo Zimmermann
2018-04-11	[sphinx] Use macro \|CoqIDE\| consistently.	Théo Zimmermann
2018-04-10	[Sphinx] Add chapter 15	Laurent Théry
2018-04-10	[Sphinx] Move chapter 15 to new infrastructure	Maxime Dénès
2018-03-15	[Sphinx] Add chapter 16	Maxime Dénès
2018-03-15	[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	[Sphinx] Move chapter 14 to new infrastructure	Maxime Dénès