coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	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
*	etoffage des notions de permutations (a la fois List.Permutation et Permutati...	letouzey	2006-05-16
*	ajout de theories/FSets/DecidableTypeEx.v	letouzey	2006-05-15
*	Duplication du fichier FSetProperties pour les ensembles Weak.	letouzey	2006-05-11
*	- intégration de la modification suggérée par L. Mamane: coqmktop passe ma...	notin	2006-05-04
*	Cleanning and factorizing code in funind. Spliting new_arg_principles into to...	jforest	2006-05-03
*	suite de l'ajout des FSets/FMaps dans les theories standards	letouzey	2006-04-29
*	Suppression de l'entrée devdoc dans le Makefile principal et modification en...	notin	2006-04-27
*	Un gros coup de lifting pour IntMap:	letouzey	2006-04-25
*	- Documentation of the Program tactics.	msozeau	2006-04-07
*	versement de MoreList.v dans List.v, reorganisation, quelques nouveaux lemmes	letouzey	2006-04-06
*	reparation des conflits Intmap/FSet FSets/FSet et Datatypes.Lt,Eq,Gt / Ordere...	letouzey	2006-03-28
*	Correction d'un bug sur 'make doc' et modification des propriétés dans doc/	notin	2006-03-23
*	Made pretyping a functor over a coercion implementation. Pretyping.Default us...	msozeau	2006-03-22
*	- Réintroduction d'un parseur de pattern (q_constr.ml4) à usage de	herbelin	2006-03-22
*	Bug BYTEFLAGS pour compilation bin/parser	herbelin	2006-03-18
*	ajout d'un debut de proprietes pour les FSetWeak	letouzey	2006-03-17