| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2014-09-08 | Removing the XML plugin. | Pierre-Marie Pédrot | |
| Left a README, just in case someone will discover the remnants of it decades from now. | |||
| 2010-07-24 | Updated all headers for 8.3 and trunk | herbelin | |
| git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13323 85f007b7-540e-0410-9357-904b9bb8a0f7 | |||
| 2010-04-29 | Remove the svn-specific $Id$ annotations | letouzey | |
| - 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 | |||
| 2009-03-20 | Directory 'contrib' renamed into 'plugins', to end confusion with archive of ↵ | letouzey | |
| user contribs git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11996 85f007b7-540e-0410-9357-904b9bb8a0f7 | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |