coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Réforme de l'interprétation des termes :	herbelin	2002-11-14
*	Intégration des modifs de la branche mowgli :	herbelin	2002-11-05
*	ajout d'une entrée au makefile pour faire toutes les theories sauf les reals	letouzey	2002-11-04
*	commit du calcul des dependances un peu plus robuste	barras	2002-10-15
*	* empty log message *	desmettr	2002-10-14
*	Mise en place de 'Scope' pour gérer des ensembles de notations - phase 1; ha...	herbelin	2002-10-13
*	Ajout ClassicalFacts	herbelin	2002-10-10
*	Lazy manuelles dans le code	coq	2002-10-07
*	Make sure that bin/parser exists when checking that it works	bertot	2002-10-07
*	Lazy experimentale temporaire...	coq	2002-10-05
*	* empty log message *	desmettr	2002-10-02
*	Adding the congruence closure tactics (CC and CCsolve).	corbinea	2002-10-01
*	* empty log message *	desmettr	2002-09-25
*	retablissement de Correctness (pas encore teste' cependant)	filliatr	2002-09-18
*	Pretty-printing preliminaire des modules, commandes	coq	2002-08-19
*	Modules dans COQ\!\!\!\!	coq	2002-08-02
*	* empty log message *	desmettr	2002-07-31
*	* empty log message *	desmettr	2002-07-31
*	* empty log message *	desmettr	2002-07-29
*	* empty log message *	desmettr	2002-07-18
*	ajout de make otags utilisant otags plutot que etags	letouzey	2002-07-17
*	modification de make tags pour	letouzey	2002-07-17
*	MAJ Makefile pour Reals	desmettr	2002-07-16
*	code retour de make check	courant	2002-07-15
*	* empty log message *	desmettr	2002-07-12
*	* empty log message *	desmettr	2002-07-05
*	* empty log message *	desmettr	2002-07-01
*	* empty log message *	desmettr	2002-07-01
*	* empty log message *	desmettr	2002-06-25
*	* empty log message *	desmettr	2002-06-20
*	ZArith_base, Zbool, Bool_nat	filliatr	2002-06-20
*	deplacement contrib/correctness/ProgWf -> theories/ZArith/Zwf	filliatr	2002-06-19
*	* empty log message *	desmettr	2002-06-17
*	* empty log message *	desmettr	2002-06-11
*	extraction vers scheme	letouzey	2002-06-07
*	Adding file theories/ZArith/Zsqrt.v that contains a square root function.	bertot	2002-06-07
*	Ajout d'extensions de syntaxe ARGUMENT EXTEND et VERNAC ARGUMENT EXTEND; rpar...	herbelin	2002-06-05
*	* empty log message *	courant	2002-06-04
*	'make check' echoue si au moins un test echoue.	courant	2002-06-04
*	Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...	herbelin	2002-05-29
*	Ajout Hurkens.v, ProofIrrelevances.v et l'indiscernabilite dans Classical_Prop.v	herbelin	2002-05-29
*	integration de coq-inferior par Marco Maggesi	filliatr	2002-04-15
*	nouveau module Zdiv	filliatr	2002-04-05
*	resolution du pb d'efficacite du a Sign.add_named_decl	barras	2002-04-04
*	* empty log message *	mohring	2002-03-27
*	An intuitionistic first-order theorem prover -- JProver.	huang	2002-03-22
*	cleanconfig efface ocamldebug-v7	filliatr	2002-03-13
*	* empty log message *	courant	2002-03-12
*	ajout d'une entree 'binaries' pour recompiler coq mais pas les theories	barras	2002-03-05
*	Big commit extraction:	letouzey	2002-03-04