coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Qed export -> Qed exporting	Enrico Tassi	2015-03-22
\|
*	typo	Enrico Tassi	2015-02-14
\|
*	Abstract: "Qed export ident, .., ident" to preserve v8.4 behavior	Enrico Tassi	2015-02-14
\| \| \| \|	Of course such proofs cannot be processed asynchronously
*	COMPATIBILITY: add note about the change of behavior of Instance foo :=	Matthieu Sozeau	2015-02-12
\| \| \| \|	{\| \|}. Add test-suite files for closed bugs.
*	Mention CHANGES file in COMPATIBILITY.	Maxime Dénès	2015-01-15
\|
*	Revert d0cd27e209be08ee51a2d609157367f053438a10: giving a different name	Matthieu Sozeau	2014-10-11
\| \| \| \| \| \| \|	for the record binder of classes. This name is no longer generated in the kernel but part of the declaration. Also cleanup the interface to recognize primitive records based on an option type instead of a dynamic check of the length of an array.
*	Give the same argument name for the record binder of type class	Matthieu Sozeau	2014-10-10
\| \| \| \| \|	projections and regular records. Easily fixable backwards incompatibility.
*	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 ↵	Matthieu Sozeau	2014-06-23
\| \| \| \|	general.
*	Some extra INCOMPATIBILITIES since 8.4.	herbelin	2012-08-11
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15732 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Cleaning CHANGES consistently with v8.4. Documenting COMPATIBILITY.	herbelin	2012-08-08
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15711 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Credits for 8.4 + resetting COMPATIBILITY file.	herbelin	2011-12-22
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14846 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Removed information in COMPATIBILITY that were intended before all for	herbelin	2010-07-30
\| \| \| \| \| \|	developers. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13364 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Miscellaneous small updates:	herbelin	2010-07-01
\| \| \| \| \| \| \|	- removed call to obsolete ppmsid printer in 8.3 - updated COMPATIBILITY file git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13229 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Improving compatibility between 8.2 and 8.3	herbelin	2010-04-05
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12904 85f007b7-540e-0410-9357-904b9bb8a0f7
*	MAJ diverses	herbelin	2008-06-11
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11102 85f007b7-540e-0410-9357-904b9bb8a0f7
*	- Patch sur "intros until 0"	herbelin	2008-06-08
\| \| \| \| \| \| \| \| \|	- MAJ CHANGES et COMPATIBILITY - Réservation de \|\| et && dans Notations.v - code mort et MAJ suite commit 11072 (tactics.ml et changes.txt) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11073 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Quelques infos pour la portabilité 8.1 --> 8.2	notin	2008-06-05
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11057 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Fix setoid_rewrite documentation examples.	msozeau	2008-06-03
\| \| \| \| \| \| \| \| \| \|	Debug handling of identifiers in coqdoc (should work with modules and sections) and add missing macros. Move theories/Program to THEORIESVO to put the files in the standard library documentation. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11046 85f007b7-540e-0410-9357-904b9bb8a0f7
*	- Correction d'un nouveau bug de undo de CoqIDE ("Admitted" et "Proof t"	herbelin	2008-05-30
\| \| \| \| \| \| \| \| \| \|	n'étaient pas gérés, merci à Julien). - Correction pb blocage CoqIDE quand le browser n'est pas déja lancé (utilisation pour cela de Sys.command au lieu de Unix.open_process_full). - MAJ CHANGES et COMPATIBILITY. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11022 85f007b7-540e-0410-9357-904b9bb8a0f7
*	MAJ	herbelin	2006-10-20
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9254 85f007b7-540e-0410-9357-904b9bb8a0f7
*	MAJ	herbelin	2006-07-05
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9022 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Typo in case of reference to dev/doc/changes.txt	lmamane	2006-06-15
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8958 85f007b7-540e-0410-9357-904b9bb8a0f7
*	A list of incompatibilities	herbelin	2006-06-14
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8955 85f007b7-540e-0410-9357-904b9bb8a0f7