index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
test-suite
/
csdp.cache
Age
Commit message (
Expand
)
Author
2011-06-22
fix bug 2510: xml test is in the summary if it fails
pboutill
2010-07-22
Extension of the recursive notations mechanism
herbelin
2009-11-12
Restore test-suite/csdp.cache erased from svn by mistake
letouzey
2009-11-12
BigQ / BigN / BigZ syntax and scope improvements (sequel to 12504)
letouzey
2009-11-11
Redoing broken commit r12498 (fixing bug #2167 + attempt to test the
herbelin
2009-11-11
Fixing bug #2167 + attempt to test the compatibility of a more robust
herbelin
2009-09-24
Micromega doc : psatz Z -> psatz Z 2
fbesson
2009-08-25
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12294 85f007b7-540e-0...
fbesson
2009-08-11
Relatively ad hoc fix to an ill-typed instantiation bug in type
herbelin
2009-05-11
micromega: proof compression bugfix
fbesson
2008-07-07
Micromega: doc + test-suite update
fbesson
2008-06-25
Micromega : bugs fixes - renaming of tactics - documentation
fbesson
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
