coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Updating version history wrt 8.7.	Hugo Herbelin	2017-10-26
\|
*	Updating version history wrt 8.6.	Hugo Herbelin	2017-10-26
\|
*	Updating version history wrt 8.5.	Hugo Herbelin	2017-10-26
\|
*	Update history of revisions.	Hugo Herbelin	2015-12-02
\|
*	Updating versions history with data from Gérard.	Hugo Herbelin	2015-10-02
\| \| \| \|	Adding Gérard's history file about V1-V5 versions.
*	Update the history of versions with recent versions.	Hugo Herbelin	2015-10-02
\|
*	Switch the few remaining iso-latin-1 files to utf8	Pierre Letouzey	2014-12-09
\|
*	Moved and completed the history of Coq versions from the	herbelin	2009-05-24
	revised-theories branch. The V5.10 period at Lyon is still unclear. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12138 85f007b7-540e-0410-9357-904b9bb8a0f7