coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Nouvelle option -xml à coqtop pour compiler un développement en	herbelin	2002-11-05
*	Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...	herbelin	2002-05-29
*	option -dump-glob pour coqdoc	filliatr	2002-02-14
*	Le chargement des coercions est nécessaire même si le module n'est pas ouvert	herbelin	2002-01-18
*	Suppression option immediate_discharge; nettoyage de Declare et conséquences	herbelin	2001-10-11
*	option -quality	filliatr	2001-05-28
*	* empty log message *	courant	2001-04-19
*	utilisation de Options.if_verbose	filliatr	2001-04-03
*	entetes	filliatr	2001-03-15
*	Mise en place d'un système optionnel de discharge immédiat; prise en compte...	herbelin	2001-02-14
*	modules et coqc	filliatr	1999-12-12
*	Discharge (encore bugge)	filliatr	1999-12-09
*	poursuite de Vernacentries	filliatr	1999-12-01
*	module Classops; ajout de fonctions dans Declare en consequence	filliatr	1999-11-26
*	ajouts divers pour module Printer	filliatr	1999-11-26
*	ajout de divers fonctions dans lib/	filliatr	1999-09-28