| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | adpated the checker to handle coomutative cuts and lazyness |  barras | 2010-07-30 |
| | | | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13365 85f007b7-540e-0410-9357-904b9bb8a0f7 | ||
| * | Updated all headers for 8.3 and trunk |  herbelin | 2010-07-24 |
| | | | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13323 85f007b7-540e-0410-9357-904b9bb8a0f7 | ||
| * | Remove the svn-specific $Id$ annotations |  letouzey | 2010-04-29 |
| | | | | | | | | | | | | - Many of them were broken, some of them after Pierre B's rework of mli for ocamldoc, but not only (many bad annotation, many files with no svn property about Id, etc) - Useless for those of us that work with git-svn (and a fortiori in a forthcoming git-only setting) - Even in svn, they seem to be of little interest git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12972 85f007b7-540e-0410-9357-904b9bb8a0f7 | ||
| * | added the .vo checker (with independent Makefile) | barras | 2008-04-21 |
| git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10826 85f007b7-540e-0410-9357-904b9bb8a0f7 | |||
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |