coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	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