coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	ssrmatching: giving proper credits to the original author(s)	Enrico Tassi	2016-06-15
\| \| \| \| \|	Following CeCILL-B 5.3.2, we are allowed to redistribute the software under the same license of Coq as long as we credit.
*	Hugo put me in credits, but I was already there :)	Maxime Dénès	2015-01-15
\|
*	Tentatively updating credits while remaining brief.	Hugo Herbelin	2015-01-13
\|
*	Add myself to credits.	Maxime Dénès	2015-01-12
\|
*	Update credits.	Guillaume Melquiond	2015-01-12
\|
*	Switch the few remaining iso-latin-1 files to utf8	Pierre Letouzey	2014-12-09
\|
*	Vernacexpr is now a mli-only file, locality stuff now in locality.ml	letouzey	2012-05-29
\| \| \| \| \| \|	Adds a directory ./intf for pure interfaces. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15367 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Fixed #2789.	ppedrot	2012-05-25
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15360 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Version number, copyright, credits: missing updates.	herbelin	2011-12-25
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14862 85f007b7-540e-0410-9357-904b9bb8a0f7
*	plugin groebner updated and renamed as nsatz; first version of the doc of ↵	pottier	2010-06-03
\| \| \| \| \| \|	nsatz in the refman git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13056 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Update of credits files	herbelin	2010-05-09
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13004 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Backport from v8.2 branch of 11986 (interpretation of quantified	herbelin	2009-03-22
\| \| \| \| \| \| \| \| \| \| \|	hypotheses in induction, unbalanced parenthesis in ltac call stack printer) and 12003 (late update of CREDITS) + update of magic numbers (using a somehow arbitrary value between the 8.2 magic numbers and the possibly forthcoming 8.3 magic numbers). git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12007 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ↵	letouzey	2009-03-20
\| \| \| \| \| \|	user contribs git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11996 85f007b7-540e-0410-9357-904b9bb8a0f7
*	MAJ crédits	herbelin	2008-05-19
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10948 85f007b7-540e-0410-9357-904b9bb8a0f7
*	first-order --> firstorder (kills a warning about not being a valid id)	letouzey	2008-04-16
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10805 85f007b7-540e-0410-9357-904b9bb8a0f7
*	- Un peu de doc, préparation du CHANGES pour la release.	herbelin	2008-04-15
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	- Re-restriction de inversion (après la correction des bugs - et notamment du "Unknown meta" qui apparaissait parfois -, inversion devenait capable d'agir sur des buts non atomiques, ce qui crée quelques incompatibilités, typiquement dans CoRN où inversion est utilisé dans un rôle de discriminate; en attendant de voir, on revient à la sémantique initiale). - Généralisation de Local/Global dans Implicit Arguments pour avoir un fonctionnement plus uniforme et plus facile à documenter. - Code mort (clenv.ml). git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10796 85f007b7-540e-0410-9357-904b9bb8a0f7
*	typo	herbelin	2006-10-30
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9321 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Restriction au implémenteurs	herbelin	2006-10-27
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9293 85f007b7-540e-0410-9357-904b9bb8a0f7
*	MAJ	herbelin	2006-10-26
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9282 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Typo dans CREDITS	notin	2006-05-16
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8822 85f007b7-540e-0410-9357-904b9bb8a0f7
*	mise a jour credits	cpaulin	2006-04-14
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8716 85f007b7-540e-0410-9357-904b9bb8a0f7
*	MAJ 8.1	herbelin	2006-04-14
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8709 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Référence pour IntMap	herbelin	2005-09-09
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7364 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Crédit	herbelin	2004-09-09
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6089 85f007b7-540e-0410-9357-904b9bb8a0f7
*	MAJ technique	herbelin	2004-07-12
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5890 85f007b7-540e-0410-9357-904b9bb8a0f7
*	CREDITS	mohring	2004-03-17
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5514 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Mise a jour ZArith/Cregut	mohring	2004-03-16
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5508 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Mise a jour CREDITS en vue copyright	mohring	2004-03-15
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5490 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Added credits for jprover.	huang	2002-04-04
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2609 85f007b7-540e-0410-9357-904b9bb8a0f7
*	MAJ	herbelin	2002-01-17
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2402 85f007b7-540e-0410-9357-904b9bb8a0f7
*	MAJ V7.1	herbelin	2001-09-26
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2080 85f007b7-540e-0410-9357-904b9bb8a0f7
*	* empty log message *	mohring	2001-09-21
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2043 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Mise a jour	mohring	2001-09-21
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2042 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Mise a jour	mohring	2001-03-09
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1444 85f007b7-540e-0410-9357-904b9bb8a0f7
*	* empty log message *	mohring	2001-03-09
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1441 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Mise a jour credits pour la V7	mohring	2001-03-09
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1439 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Ajout des credits version V6.3	mohring	2001-02-02
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1314 85f007b7-540e-0410-9357-904b9bb8a0f7