coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Merge PR #7783: Move INSTALL.doc to doc/README.md and improve a few things.	Maxime Dénès	2018-06-26
\|\
\| *	Fix copyright dates in doc/LICENSE.	Théo Zimmermann	2018-06-22
\| \| \| \| \| \| \| \|	[ci skip]
* \|	Remove Tutorials from doc/LICENSE following #7466.	Théo Zimmermann	2018-06-17
\|/
*	doc: Rename UbuntuMono-Square to CoqNotations and tweak spacing	Clément Pit-Claudel	2018-04-14
\| \| \| \| \|	The Ubuntu Font License requires substantially modified fonts to be renamed entirely.
*	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.
*	Remove outdated information regarding the FAQ.	Théo Zimmermann	2018-03-06
\| \| \| \|	The FAQ is not part of the Coq sources anymore.
*	Switch the few remaining iso-latin-1 files to utf8	Pierre Letouzey	2014-12-09
\|
*	Mise à jour des fichiers README et INSTALL de la doc (bug #1921) + ↵	notin	2008-08-06
	suppression de la dépendance envers aeguill (bug #1922) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11311 85f007b7-540e-0410-9357-904b9bb8a0f7