coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
*	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
*	option -dump-glob pour coqdoc	filliatr	2002-02-14
*	ajouts provenant de Chinese dans ZArith + deplacements de 3 fichiers de contr...	letouzey	2002-01-18
*	MAJ ocaml 3.04 sur Windows	herbelin	2002-01-10
*	suppression de commentaires obsoletes	letouzey	2001-12-19
*	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
*	Add a new file in the files needed for the "coq-interface" binary: the file	bertot	2001-12-18
*	compat ocaml 3.03	filliatr	2001-12-13
*	- condition de garde (suite)	barras	2001-12-10
*	* empty log message *	desmettr	2001-12-05
*	* empty log message *	desmettr	2001-12-05
*	* empty log message *	desmettr	2001-11-30
*	* empty log message *	desmettr	2001-11-30