coq - The formal proof system

Age	Commit message (Expand)	Author
2009-03-20	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...	letouzey
2009-03-14	Makefile: ml dependencies of contribs are moved to .mllib files	letouzey
2008-12-19	Nettoyage des variables Coq et amélioration de coqmktop. Les	notin
2008-12-16	Take advantage of natdynlink when available: almost all contribs become loada...	letouzey
2008-08-16	Install csdpcert with libraries	glondu
2008-08-07	micromega : bug fixes and optimisations	fbesson
2008-07-07	Micromega: doc + test-suite update	fbesson
2008-07-04	Fix bug #1899: no more strange notations for Qge and Qgt	letouzey
2008-07-02	Improved robustness of micromega parser. Proof search of Micromega test-suite...	fbesson
2008-06-25	Micromega : bugs fixes - renaming of tactics - documentation	fbesson
2008-06-10	Suppression de la dépendance de Micromega envers Coq.Reals.Reals. Corrige le...	notin
2008-05-20	Corrections d'erreurs rapportées par Frédéric Besson sur le précédent	herbelin
2008-05-19	Intégration de micromega ("omicron" pour fourier et sa variante sur Z,	herbelin
2008-04-25	Adaptation des fichiers de micromega suite aux changements dans	notin
2007-10-25	Added NIso.v to Makefile.common. Changed Examples.v in contrib/micromega to u...	emakarov
2007-10-18	Changed RingMicromega to use NRing instead of Ring_polynom. NRing is a versio...	emakarov
2007-10-16	Added transitivity and irreflexivity of <, as well as < -elimination for bina...	emakarov