coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Ajout du traducteur	desmettr	2003-02-05
*	maj	filliatr	2003-02-05
*	interface GTK2 experimentale	monate	2003-02-04
*	maj	filliatr	2003-02-03
*	contrib/extraction/table utilise printer	letouzey	2003-02-02
*	maj	filliatr	2003-01-24
*	Ajout de LinearIntuition; Ajout de New(Tauto\|Intuition\|LinearIntuition).	corbinea	2003-01-23
*	removes all references to ctast.ml the Makefile has been updated accordingly.	bertot	2003-01-22
*	MAJ pour renommage Rcomplet	desmettr	2003-01-22
*	maj	filliatr	2003-01-22
*	Extraction des modules, enfin !	letouzey	2003-01-22
*	Binome.v -> Binomial.v	desmettr	2003-01-21
*	maj	filliatr	2003-01-21
*	maj	filliatr	2003-01-20
*	maj	filliatr	2003-01-18
*	maj	filliatr	2003-01-17
*	Renommage de RealsB en Rbase	desmettr	2003-01-16
*	maj	filliatr	2003-01-16
*	maj	filliatr	2003-01-10
*	maj	filliatr	2003-01-08
*	maj	filliatr	2003-01-07
*	bit vectors	filliatr	2003-01-06
*	maj	filliatr	2002-12-23
*	maj	filliatr	2002-12-21
*	maj	filliatr	2002-12-20
*	maj	filliatr	2002-12-19
*	maj	filliatr	2002-12-18
*	maj	filliatr	2002-12-16
*	maj	filliatr	2002-12-14
*	maj	filliatr	2002-12-13
*	Ajout du vernac Proof with	gregoire	2002-12-12
*	maj	filliatr	2002-12-12
*	maj	filliatr	2002-12-11
*	maj	filliatr	2002-12-10
*	Corrections de gestion des univers et modules + meilleure gestions des noms...	coq	2002-12-09
*	chamboulement du codage des indcutifs extraits; deplacements des tables; ...	letouzey	2002-12-09
*	maj	filliatr	2002-12-06
*	maj	filliatr	2002-12-04
*	maj	filliatr	2002-12-03
*	maj	filliatr	2002-11-30
*	maj	filliatr	2002-11-29
*	maj	filliatr	2002-11-28
*	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
*	MAJ	herbelin	2002-11-26
*	maj	filliatr	2002-11-26
*	maj	filliatr	2002-11-25
*	Utilisation des niveaux de camlp4 pour gérer les niveaux de constr; amélior...	herbelin	2002-11-24
*	maj	filliatr	2002-11-18