coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Échange des mots clés 'using' et 'with' en argument de 'firstorder' (wish #...	notin	2007-02-22
*	Declarative Proof Language: main commit	corbinea	2006-09-20
*	Standardisation nom option_app en option_map	herbelin	2006-04-27
*	Messages de idtac et fail peuvent maintenant être des listes de string, int ...	herbelin	2006-01-21
*	Suppression des parseurs et printeurs v7; suppression du traducteur (mcanisme...	herbelin	2005-12-26
*	Nouvelle en-tête	herbelin	2004-07-16
*	Retablissement de GIntuition juste pour FSets	herbelin	2003-12-23
*	* empty log message *	barras	2003-12-23
*	ground->firstorder, cc-> congruence, CC final commit	corbinea	2003-11-29
*	Passage à la V8 par défaut	herbelin	2003-09-22
*	Ground bugfix	corbinea	2003-07-11
*	switching back to old tauto	corbinea	2003-07-03
*	added hints into Ground	corbinea	2003-07-02
*	Ground update	corbinea	2003-06-16
*	ground update	corbinea	2003-06-16
*	Ground major update ... mmm, sounds exciting !	corbinea	2003-06-15