coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	- Extension de "generalize" en "generalize c as id at occs".	herbelin	2008-06-08
*	ajout d'un printer pour les contraintes d'univers + correction d'un bug sur l...	soubiran	2008-06-06
*	Fix typos	lmamane	2008-06-05
*	- Correction bug highlighting "Module" dans Coqide	herbelin	2008-05-28
*	Mise en place d'un algorithme d'inversion des contraintes de type lors	herbelin	2008-05-05
*	Quelques éléments de réflexion	herbelin	2008-05-03
*	Correction du bug des types singletons pas sous-type de Set	herbelin	2008-04-27
*	- Add pretty-printers for Idpred, Cpred and transparent_state, used for	msozeau	2008-04-24
*	Prise en compte des coercions dans les clauses "with" même si le type	herbelin	2008-04-23
*	first-order --> firstorder (kills a warning about not being a valid id)	letouzey	2008-04-16
*	Diverses corrections	herbelin	2008-04-14
*	Bugs, nettoyage, et améliorations diverses	herbelin	2008-04-13
*	Chgts mineurs:	herbelin	2008-04-03
*	Hint for Debian users.	glondu	2008-03-18
*	Implement KEEP_ML4_PREPROCESSED option in build system	lmamane	2008-02-13
*	Implement NO_RECALC_DEPS option in build system	lmamane	2008-02-13
*	Add printer for Pp.std_ppcmds...	msozeau	2008-02-08
*	Amélioration de la génération des graphes de dépendances (utilisation de ...	notin	2008-01-11
*	Prise en compte de CAMLP4LIB via fichier configure plutôt que dynamiquement	herbelin	2008-01-04
*	Merged revisions 10358-10362,10365,10371-10373,10377,10383-10384,10394-10395,...	msozeau	2007-12-31
*	Ocaml toplevel convenience.	glondu	2007-12-07
*	Plus de combinateurs sont passés de Util à Option. Le module Options	aspiwack	2007-12-06
*	MAJ	herbelin	2007-10-29
*	Allow a few build system optimisations/corner-cutting	lmamane	2007-10-11
*	add $COQTOP to the search path of ocamldebug	letouzey	2007-10-08
*	Ajout de eelim, ecase, edestruct et einduction (expérimental).	herbelin	2007-10-03
*	* Adding compability with ocaml 3.10 + camlp5 (rework of	letouzey	2007-09-15
*	- Débogueur: positionnement de set_detype_anonymous pour ne pas	herbelin	2007-08-29
*	- Correction bug dans syntaxe des match (liste de motifs vide était acceptée)	herbelin	2007-08-22
*	Add glob.dump to Makefile the recommended way and document the	lmamane	2007-07-25
*	Reorganise cleaning targets	lmamane	2007-07-16
*	A cleaner solution to "make deletes .ml4.d files -> infinite loop" problem	lmamane	2007-07-16
*	New bootstrapping, improved, Makefile system	corbinea	2007-07-13
*	MAJ	herbelin	2007-05-21
*	Quelques exemples sur l'asymétrie de la conversion	herbelin	2007-04-29
*	Ajout de la possibilité d'utiliser les evars dans apply_in et elim_in.	herbelin	2007-04-28
*	- Correction d'un bug de make_clenv_binding_apply révélé par le commit 9771	herbelin	2007-04-18
*	Rajout du mot Fix dans le printer	vsiles	2007-04-17
*	Retablissement de Fix dans print_pure_constr	vsiles	2007-04-17
*	Allègement de l'affichage des références par le printer si possible	herbelin	2007-01-22
*	Export de l'afficheur de substitutions de noms de modules pour le débogueur	herbelin	2007-01-19
*	MAJ	herbelin	2006-11-19
*	MAJ	herbelin	2006-10-30
*	Simplification ocamldebug (coq-debug-programs.out obsolète)	herbelin	2006-10-13
*	Reactivation des outils de developpement de Jacek	herbelin	2006-09-29
*	mise a jour du nouveau ring et ajout du nouveau field, avant renommages	barras	2006-09-26
*	Tout petit bug d'affichage dans constr_display (top_printers)	herbelin	2006-09-22
*	- Ajout d'un cast vm dans la syntaxe : x <: t	bgregoir	2006-07-22
*	MAJ fichier dev/doc/changes.txt	herbelin	2006-06-10
*	Fix broken paths.	msozeau	2006-05-29