coq - The formal proof system

Age	Commit message (Expand)	Author
2009-09-17	Delete trailing whitespaces in all .{v,ml} files	glondu
2008-03-14	Ajout des alias de module dans le noyau.	soubiran
2008-03-05	Attempt of fix for extraction of modules types	letouzey
2008-02-01	Beaoucoup de changements dans la representation interne des modules.	soubiran
2007-05-11	Processor integers + Print assumption (see coqdev mailing list for the	aspiwack
2007-02-21	Fixed the pseudo-cicularity problem due to the with operator on Module Type.	soubiran
2007-01-24	modifications des messages d'erreurs renvoyés lors de la comparaison	soubiran
2006-04-15	Inversion de l'ordre de chargement des objets logiques et non logiques	herbelin
2005-01-21	Compatibilité ocamlweb pour cible doc	herbelin
2005-01-13	Construct "T with (Definition\|Module) id := c" generalized to	sacerdot
2005-01-03	HUGE COMMIT	sacerdot
2004-11-16	Names.substitution (and related functions) and Term.subst_mps moved to	sacerdot
2004-07-16	Nouvelle en-tête	herbelin
2003-01-22	Bug 'with Module' corrige	coq
2002-12-18	Contexte locale non-vide interdit a la fin d'un module ou module type	coq
2002-11-14	Réforme de l'interprétation des termes :	herbelin
2002-08-19	La notation 'with'. L'interpretation - version preliminaire	coq
2002-08-16	Strengthenning rules for modules + No modules in sections	coq
2002-08-02	Modules dans COQ\!\!\!\!	coq