coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Add some hints to the "real" database to automatically discharge literal comp...	Guillaume Melquiond	2017-04-07
*	Change the parser and printer so that they use IZR for real constants.	Guillaume Melquiond	2017-03-22
*	Update copyright headers.	Maxime Dénès	2016-01-20
*	Update headers.	Maxime Dénès	2015-01-12
*	Add some missing Proof statements.	Guillaume Melquiond	2014-09-17
*	Updating headers.	herbelin	2012-08-08
*	Kills the useless tactic annotations "in \|- *"	letouzey	2012-07-05
*	Open Local Scope ---> Local Open Scope, same with Notation and alii	letouzey	2012-07-05
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	Add a few properties about Rmin/Rmax with replication in Zmin/Zmax.	herbelin	2009-09-27
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	Une passe sur les réels:	herbelin	2008-03-23
*	mise a jour du nouveau ring et ajout du nouveau field, avant renommages	barras	2006-09-26
*	Nouvelle en-tête	herbelin	2004-07-16
*	Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...	herbelin	2003-11-29
*	Open Scope en Local	herbelin	2003-04-12
*	Remplacement Import par Open Scope en v8	herbelin	2003-04-10
*	Suppression de l'étage "Import nat/Z/R_scope". "Open Scope" remplace "Import".	herbelin	2003-04-09
*	* empty log message *	barras	2003-03-12
*	Amélioration de DiscrR	desmettr	2003-01-20
*	Optimisations pour Sup et RCompute	desmettr	2003-01-17
*	Ajout de RCompute	desmettr	2003-01-16
*	Ajout de la tactique Sup	desmettr	2003-01-16
*	Correction d'un petit bug dans Sup0	desmettr	2003-01-16
*	Renommage de RealsB en Rbase	desmettr	2003-01-16
*	Nouvelle interprétation des nombres réels	desmettr	2003-01-15
*	Resolution de bug (du a Auto; remplacement par lt_O_Sn)	mayero	2002-06-26
*	Nouvelle version avec INR + Amelioration de Sup0.	mayero	2002-06-20
*	Traitement t de -1<>0	delahaye	2001-12-04
*	Backtrack sur le commit du 30.11.2001	delahaye	2001-12-04
*	* empty log message *	desmettr	2001-11-30
*	Modifs Tacinterp + debugger de tactiques + syntaxe de R + DiscrR	delahaye	2001-10-23
*	modif test const	mayero	2001-09-18
*	Minor layout adjustments for Library doc	coq	2001-04-23
*	Ajout tactics Reals	mayero	2001-04-20