coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	MAJ	herbelin	2003-10-21
*	maj	filliatr	2003-10-10
*	Renommage en v8 de PolyList en List et List en MonoList	herbelin	2003-10-10
*	maj	filliatr	2003-10-04
*	Fusion des fichiers de syntaxe de Init avec les fichiers de définition; Type...	herbelin	2003-09-23
*	maj	filliatr	2003-09-23
*	Suppression DatatypesSyntax et PeanoSyntax qui était vides	herbelin	2003-09-12
*	maj	filliatr	2003-07-09
*	maj	filliatr	2003-06-25
*	dependcoq integre les fichiers de fsets	letouzey	2003-06-14
*	maj	filliatr	2003-06-14
*	FSets, mais pas compile' par make world	filliatr	2003-06-13
*	quelques adaptations de Zarith en vu de la nouvelle librarie FSet	letouzey	2003-06-13
*	maj	filliatr	2003-06-11
*	Concentration des notations officielles dans Init/Notations; restructuration ...	herbelin	2003-05-21
*	maj	filliatr	2003-05-14
*	Nouveaux lemmes (sur proposition de Nijmegen)	herbelin	2003-05-13
*	maj	filliatr	2003-04-30
*	maj	filliatr	2003-04-18
*	maj	filliatr	2003-04-10
*	MAJ pour Reals/SeqSeries.v	desmettr	2003-02-14
*	MAJ pour renommage Rcomplet	desmettr	2003-01-22
*	Binome.v -> Binomial.v	desmettr	2003-01-21
*	* empty log message *	desmettr	2003-01-16
*	renommage de TAF.v en MVT.v	desmettr	2003-01-16
*	Renommage de RealsB en Rbase	desmettr	2003-01-16
*	maj	filliatr	2003-01-07
*	bit vectors	filliatr	2003-01-06
*	maj	filliatr	2002-11-28
*	Réorganisation de la librairie des réels	desmettr	2002-11-27
*	Réorganisation de la librairie des réels	desmettr	2002-11-27
*	maj	filliatr	2002-11-27
*	Option pour compiler une version 'light' des réels	desmettr	2002-11-26
*	Utilisation des niveaux de camlp4 pour gérer les niveaux de constr; amélior...	herbelin	2002-11-24
*	maj apres reparation d'un bug coqdep	letouzey	2002-11-15
*	maj	filliatr	2002-11-15
*	commit du calcul des dependances un peu plus robuste	barras	2002-10-15
*	maj	filliatr	2002-10-15
*	coqdep bogué, retour sur version 1.75	herbelin	2002-10-14
*	maj	filliatr	2002-10-14
*	Mise en place de 'Scope' pour gérer des ensembles de notations - phase 1; ha...	herbelin	2002-10-13
*	maj	filliatr	2002-10-11
*	Ajout ClassicalFacts	herbelin	2002-10-10
*	maj	filliatr	2002-10-08
*	maj	filliatr	2002-10-07
*	maj	filliatr	2002-10-03
*	maj	filliatr	2002-10-02
*	maj	filliatr	2002-09-27
*	maj	filliatr	2002-09-20
*	maj	filliatr	2002-09-20