coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Réforme de l'interprétation des termes :	herbelin	2002-11-14
*	maj	filliatr	2002-11-14
*	maj	filliatr	2002-11-08
*	maj	filliatr	2002-11-06
*	Intégration des modifs de la branche mowgli :	herbelin	2002-11-05
*	maj	filliatr	2002-11-01
*	maj	filliatr	2002-10-31
*	maj	filliatr	2002-10-29
*	maj	filliatr	2002-10-28
*	maj	filliatr	2002-10-22
*	maj	filliatr	2002-10-16
*	commit du calcul des dependances un peu plus robuste	barras	2002-10-15
*	maj	filliatr	2002-10-15
*	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
*	maj	filliatr	2002-10-09
*	maj	filliatr	2002-10-07
*	Adding the congruence closure tactics (CC and CCsolve).	corbinea	2002-10-01
*	maj	filliatr	2002-10-01
*	maj	filliatr	2002-09-30
*	maj	filliatr	2002-09-21
*	La notation with dependante + affichage dependante de moduels corrige	coq	2002-09-20
*	maj	filliatr	2002-09-20
*	maj	filliatr	2002-09-20
*	maj	filliatr	2002-09-20
*	La notation 'with'. L'interpretation - version preliminaire	coq	2002-08-19
*	MAJ .depend	coq	2002-08-19
*	Pretty-printing preliminaire des modules, commandes	coq	2002-08-19
*	Strengthenning rules for modules + No modules in sections	coq	2002-08-16
*	Modules dans COQ\!\!\!\!	coq	2002-08-02
*	correction bugs Tauto	courant	2002-07-19
*	Correction bug Tauto : la regle pour (A->B)->C echouait quand C etait	courant	2002-07-15
*	maj	filliatr	2002-06-20
*	extraction vers scheme	letouzey	2002-06-07
*	affaiblissement hyp de Zmult_reg_left	filliatr	2002-06-05
*	Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...	herbelin	2002-05-29
*	jLogic disparaît	herbelin	2002-04-19
*	* empty log message *	courant	2002-04-17
*	backtrack dans l'algo d'unification	barras	2002-04-10
*	An intuitionistic first-order theorem prover -- JProver.	huang	2002-03-22
*	Makefile	courant	2002-03-12
*	Big commit extraction:	letouzey	2002-03-04
*	Changé le nom du module Errors (errors.mli, errors.ml) en Cerrors parce	ddr	2002-02-20
*	- Reforme de la gestion des args recursifs (via arbres reguliers)	barras	2002-02-14
*	substitution et pattern modulo let	barras	2002-02-11
*	changement generation de schema d'elimination, False_rec est primitif, Constr...	mohring	2002-01-31
*	MAJ	herbelin	2002-01-17
*	contrib/interface/dad.ml4 had no real need of streams, it should have been	bertot	2001-12-19
*	reparation du make depend et du .depend	letouzey	2001-12-19