coq - The formal proof system

Age	Commit message (Expand)	Author
2012-03-02	Noise for nothing	pboutill
2011-10-26	Mod_subst: some simplifications, some more significant names to functions, etc	letouzey
2011-10-11	Various simplifications about constant_of_delta and mind_of_delta	letouzey
2011-05-17	Modops: the strengthening functions can work without any env argument	letouzey
2011-04-03	Lazy loading of opaque proofs: fast as -dont-load-proofs without its drawbacks	letouzey
2011-03-05	Moving printing of module typing errors upwards to himsg.ml so as to	herbelin
2011-03-05	Starting being more explicit on the reasons why module subtyping fails.	herbelin
2011-01-31	A fine-grain control of inlining at functor application via priority levels	letouzey
2011-01-28	Remove the "Boxed" syntaxes and the const_entry_boxed field	letouzey
2010-11-15	Minor fixes from Gregory Malecha. A typo fixed and a better (located)	msozeau
2010-07-24	Updated all headers for 8.3 and trunk	herbelin
2010-05-09	Added a few informations about file lineages (for the most part in kernel)	herbelin
2010-04-29	Remove the svn-specific $Id$ annotations	letouzey
2010-04-16	cf. 12945	soubiran
2010-02-03	fix commit 12706 + comments.	soubiran
2010-02-02	Small fix on module inclusion.	soubiran
2010-01-07	Include can accept both Module and Module Type	letouzey
2010-01-04	The following script was rasing an error	soubiran
2009-11-13	the inlining computation at functor application was raising not_found when th...	soubiran
2009-10-23	First debug... the renaming of librairies was not working and auto/dn were no...	soubiran
2009-10-21	This big commit addresses two problems:	soubiran
2009-09-17	Delete trailing whitespaces in all .{v,ml} files	glondu
2009-07-09	Correction bug 2134.	soubiran
2009-02-13	Bug 2050, commit v8.2 11923-11924 ---> trunk	soubiran
2008-10-28	petite modif du commit 11513.	soubiran
2008-10-28	Correction bug 1979.	soubiran
2008-10-21	Correction bug #1969.	soubiran
2008-10-15	Report des commits 11417 et 11437 de la v8.2	soubiran
2008-07-17	Uniformisation du format des messages d'erreur (commencent par une	herbelin
2008-06-18	meilleur gestion de la fonction de "cache" des alias (declaremods), et correc...	soubiran
2008-04-25	correction bug 1839	soubiran
2008-04-23	correction du bug sur Parameter Inline que j'ai reouvert hier par inadvertance	soubiran
2008-04-22	correction bug 1839	soubiran
2008-04-21	Correction bug 1838 + doc modules.	soubiran
2008-03-25	Correction de bugs relatifs a la compostion des substitutions	soubiran
2008-03-14	Ajout des alias de module dans le noyau.	soubiran
2008-02-01	Beaoucoup de changements dans la representation interne des modules.	soubiran
2007-12-05	Factorisation des opérations sur le type option de Util dans un module	aspiwack
2007-05-30	Memory optimisation for modules and constrs substitutions.	soubiran
2007-05-11	Processor integers + Print assumption (see coqdev mailing list for the	aspiwack
2007-04-25	New keyword "Inline" for Parameters and Axioms for automatic	soubiran
2007-02-21	Fixed the pseudo-cicularity problem due to the with operator on Module Type.	soubiran
2007-01-30	suite du commit 9557	soubiran
2007-01-24	modifications des messages d'erreurs renvoyés lors de la comparaison	soubiran
2006-09-14	Correction du bug #1181	jforest
2006-05-30	retour au comportement antérieur pour une application de foncteur:	letouzey
2006-04-27	Standardisation nom option_app en option_map	herbelin
2006-04-15	Inversion de l'ordre de chargement des objets logiques et non logiques	herbelin
2005-12-02	Changement des named_context	gregoire
2005-05-23	Bug fix for a bug reported by Roland: the function that detects the constants	sacerdot