coq - The formal proof system

Age	Commit message (Expand)	Author
2007-12-05	Factorisation des opérations sur le type option de Util dans un module	aspiwack
2007-02-21	Removed some useless code in mod_typing that was redundant with safe_typing.	soubiran
2007-02-07	Correction bug #1364 (les variables de section sont repérées par	herbelin
2006-04-27	Standardisation nom option_app en option_map	herbelin
2006-04-16	Nouveau mécanisme pour les modules interactifs : les arguments de	herbelin
2006-04-15	Inversion de l'ordre de chargement des objets logiques et non logiques	herbelin
2005-12-24	Tentative de réparation du bug #1025: it seems like that a casted module sho...	herbelin
2005-11-08	Nettoyage suite à la détection par défaut des variables inutilisées par o...	herbelin
2005-02-20	Keep ClosedSection marker for reset	herbelin
2005-02-18	Code mort	herbelin
2005-01-13	Construct "T with (Definition\|Module) id := c" generalized to	sacerdot
2005-01-06	- Module/Declare Module syntax made more uniform:	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
2004-01-02	meilleure presentation des commentaires du traducteur	barras
2003-10-07	Correction du bug 335 et Export/Require Export dans un module	coq
2003-05-05	Corrige Bug (PR#290)	coq
2003-01-27	Deux p\'tits trucs ;)	coq
2003-01-22	Bug 'with Module' corrige	coq
2003-01-09	Export M + Module M <: SIG	coq
2002-12-19	Petit netoyage dans lib	coq
2002-12-16	Petit netoyage des open's et commentaires	coq
2002-12-09	Corrections de gestion des univers et modules + meilleure gestions des noms...	coq
2002-12-04	Correction d'un message d'erreur de l'application de non-foncteur	coq
2002-11-08	Correction bug PR#222	coq
2002-09-27	Encore quelques rangements dans Nametab + petits trucs	coq
2002-09-20	La notation with dependante + affichage dependante de moduels corrige	coq
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-13	Petites corrections ici et la	coq
2002-08-02	Modules dans COQ\!\!\!\!	coq