| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2010-06-25 | bug 2328 fixed: failure when polynomial not i ideal | pottier | |
| git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13195 85f007b7-540e-0410-9357-904b9bb8a0f7 | |||
| 2010-06-03 | Misc fixes related to new nsatz (and ocamlbuild) | letouzey | |
| - Kill a warning in ideal.ml corresponding to really brain-dead code. - Restore extraction/vo.otarget in pluginsvo.itarget - In fact, plugins/_tags can be merged into _tags with nice ** patterns - Update .gitignore git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13062 85f007b7-540e-0410-9357-904b9bb8a0f7 | |||
| 2010-06-03 | nsatz ajoute | pottier | |
| git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13058 85f007b7-540e-0410-9357-904b9bb8a0f7 | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |