coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Correction d'un bug de l'install (win)	notin	2007-02-27
*	Fix mistake naming my Tactics file Tactics :)	msozeau	2007-02-07
*	Add tactics for induction on subterms.	msozeau	2007-02-07
*	complement du commit 9591	bgregoir	2007-02-05
*	Updated Makefile to include ConstructiveEpsilon.v	emakarov	2007-01-23
*	Move definition of VO_TOOLS_DEP before first use of it.	lmamane	2007-01-17
*	Reintroduce compatibility with old versions of GNU make	lmamane	2007-01-17
*	Suite au mail de Lionel a propos du Makefile:	letouzey	2007-01-12
*	- Make .vo files depend on coqdoc if COQ_XML is set (bug #848)	lmamane	2007-01-10
*	Merge from Lionel Elie Mamane's private branch:	lmamane	2007-01-10
*	Subtac fixes, support for reasoning on wf defs.	msozeau	2007-01-08
*	Adaptation à Subversion 1.4	notin	2006-12-19
*	Changement dans le kernel :	bgregoir	2006-12-11
*	dp	filliatr	2006-12-08
*	Fork of cases impl for subtac.	msozeau	2006-11-29
*	The $(BEST) binaries symlinks depend on existence of target, not newness.	lmamane	2006-11-27
*	Adaptation à FreeBSD	notin	2006-11-16
*	Suite commit polymorphisme	herbelin	2006-10-29
*	Prise en compte dépendance de subtyping en typeops (polymorphisme de defs)	herbelin	2006-10-28
*	simplif de la partie ML de ring/field	barras	2006-10-27
*	Ajout ListTactics	herbelin	2006-10-27
*	Experimental merging of two functional graphs.	courtieu	2006-10-26
*	conflit de nom (Field_theory) modulo la casse	barras	2006-10-25
*	Mise en forme des theories	notin	2006-10-17
*	Ajout d'une option -annotate au configure+ changement du comportement par dé...	notin	2006-10-11
*	separation de RealField	barras	2006-09-28
*	Makefile : COQLIB -> FULLCOQLIB	corbinea	2006-09-28
*	petits pbs de dependances	barras	2006-09-26
*	Compilation newring	notin	2006-09-26
*	commit de field + renommages	barras	2006-09-26
*	mise a jour du nouveau ring et ajout du nouveau field, avant renommages	barras	2006-09-26
*	Declarative Proof Language: main commit	corbinea	2006-09-20
*	Correction du bug #1215	notin	2006-09-18
*	Fix wrong order for building library, add informative messages.	msozeau	2006-09-04
*	Subtac fixes, new way of handling obligations in progress.	msozeau	2006-09-01
*	Modification du configure pour paramétrer les exécutables liés à la compi...	notin	2006-08-30
*	Changement de l'appel aux exécutables Caml (noms absolus)	notin	2006-08-29
*	Modifications dans les scripts de configuration (coqtop et coqide affichent m...	notin	2006-07-28
*	Modification script sed pour compatibilité Windows	notin	2006-07-26
*	- Ajout d'un cast vm dans la syntaxe : x <: t	bgregoir	2006-07-22
*	Retrait du -noassert qui etait present en natif.	letouzey	2006-07-13
*	nouvel algorithme pour Zgcd (plus rapide) + un Qcompare	letouzey	2006-06-25
*	Déplacement Int.v dans ZArith, déplacement de DecidableType.v et DecidableT...	herbelin	2006-06-09
*	MAJ Makefile depend	herbelin	2006-06-08
*	Ajout exists! et restructuration/extension des fichiers sur la	herbelin	2006-06-04
*	ajout de QArith dans les theories standards	letouzey	2006-05-31
*	The "clean integration of subtac" patch.	msozeau	2006-05-29
*	Modification de la compilation de coqc et coqmktop pour éviter le problème ...	notin	2006-05-26
*	un debut de propriétés concernant FMap	letouzey	2006-05-22
*	Dépendances pour List.v	notin	2006-05-18