coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[vernac] Remove `Qed exporting` syntax.	Emilio Jesus Gallego Arias	2017-09-29
*	A fix for #5390 (a useful error on used introduction names was masked).	Hugo Herbelin	2017-05-17
*	Being more informative about the change of behavior of "subst".	Hugo Herbelin	2016-09-29
*	Update CHANGES and COMPATIBILITY	Matthieu Sozeau	2016-06-27
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-05-20
\|\
\| *	More hints on how to fix compatibility issues.	Hugo Herbelin	2016-05-14
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-03-23
\|\\|
\| *	Qed export -> Qed exporting	Enrico Tassi	2015-03-22
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-02-15
\|\\|
\| *	typo	Enrico Tassi	2015-02-14
\| *	Abstract: "Qed export ident, .., ident" to preserve v8.4 behavior	Enrico Tassi	2015-02-14
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-02-13
\|\\|
\| *	COMPATIBILITY: add note about the change of behavior of Instance foo :=	Matthieu Sozeau	2015-02-12
* \|	Added stuff about -I -Q -R in COMPATIBILTY.	Pierre Courtieu	2015-01-15
* \|	Mention CHANGES file in COMPATIBILITY.	Maxime Dénès	2015-01-15
\| *	Mention CHANGES file in COMPATIBILITY.	Maxime Dénès	2015-01-15
\|/
*	Revert d0cd27e209be08ee51a2d609157367f053438a10: giving a different name	Matthieu Sozeau	2014-10-11
*	Give the same argument name for the record binder of type class	Matthieu Sozeau	2014-10-10
*	Updating CHANGES w.r.t. opacity in type inference + layout of file.	Hugo Herbelin	2014-06-28
*	Add some compatibility notes on the changes to [change] and unification in ge...	Matthieu Sozeau	2014-06-23
*	Some extra INCOMPATIBILITIES since 8.4.	herbelin	2012-08-11
*	Cleaning CHANGES consistently with v8.4. Documenting COMPATIBILITY.	herbelin	2012-08-08
*	Credits for 8.4 + resetting COMPATIBILITY file.	herbelin	2011-12-22
*	Removed information in COMPATIBILITY that were intended before all for	herbelin	2010-07-30
*	Miscellaneous small updates:	herbelin	2010-07-01
*	Improving compatibility between 8.2 and 8.3	herbelin	2010-04-05
*	MAJ diverses	herbelin	2008-06-11
*	- Patch sur "intros until 0"	herbelin	2008-06-08
*	Quelques infos pour la portabilité 8.1 --> 8.2	notin	2008-06-05
*	Fix setoid_rewrite documentation examples.	msozeau	2008-06-03
*	- Correction d'un nouveau bug de undo de CoqIDE ("Admitted" et "Proof t"	herbelin	2008-05-30
*	MAJ	herbelin	2006-10-20
*	MAJ	herbelin	2006-07-05
*	Typo in case of reference to dev/doc/changes.txt	lmamane	2006-06-15
*	A list of incompatibilities	herbelin	2006-06-14