coq - the Coq proof assistant

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