coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	maj	filliatr	2003-11-07
*	maj	filliatr	2003-11-05
*	maj	filliatr	2003-11-03
*	maj	filliatr	2003-10-31
*	Redirected some of the verbose jprover output through the Pp module.	corbinea	2003-10-30
*	maj	filliatr	2003-10-29
*	maj	filliatr	2003-10-23
*	maj	filliatr	2003-10-22
*	MAJ	herbelin	2003-10-22
*	maj	filliatr	2003-10-20
*	maj	filliatr	2003-10-17
*	maj	filliatr	2003-10-16
*	Ground update + Linear removal	corbinea	2003-10-16
*	maj	filliatr	2003-10-14
*	maj	filliatr	2003-10-13
*	maj	filliatr	2003-10-12
*	maj	filliatr	2003-10-10
*	maj	filliatr	2003-10-07
*	maj	filliatr	2003-10-04
*	maj	filliatr	2003-10-01
*	maj	filliatr	2003-09-27
*	maj	filliatr	2003-09-24
*	maj	filliatr	2003-09-23
*	traducteur: affiche les commentaires a l'interieur des commandes	barras	2003-09-22
*	maj	filliatr	2003-09-19
*	maj	filliatr	2003-09-17
*	maj	filliatr	2003-09-13
*	MAJ	herbelin	2003-09-12
*	maj	filliatr	2003-09-11
*	maj	filliatr	2003-09-10
*	maj	filliatr	2003-09-08
*	maj	filliatr	2003-09-03
*	maj	filliatr	2003-09-01
*	maj	filliatr	2003-08-15
*	maj	filliatr	2003-08-12
*	maj	filliatr	2003-07-24
*	maj	filliatr	2003-07-17
*	maj	filliatr	2003-07-12
*	Ground bugfix	corbinea	2003-07-11
*	maj	filliatr	2003-07-09
*	maj	filliatr	2003-07-03
*	suppression de newtauto	corbinea	2003-07-02
*	maj	filliatr	2003-06-28
*	maj	filliatr	2003-06-21
*	Ground Update.	corbinea	2003-06-20
*	maj	filliatr	2003-06-20
*	maj	filliatr	2003-06-17
*	Ground update	corbinea	2003-06-16
*	Ground major update ... mmm, sounds exciting !	corbinea	2003-06-15
*	Ground update	corbinea	2003-06-13