| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | [flags] Remove XML output flag. |  Emilio Jesus Gallego Arias | 2017-08-01 |
| | | | | | | | | | This is a second try at removing the hooks for the legacy xml export system which can't currently be tested. It is also not included in the API, so it should either be included in it or this PR be applied. | ||
| * | MAJ |  herbelin | 2006-04-26 |
| | | | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8742 85f007b7-540e-0410-9357-904b9bb8a0f7 | ||
| * | Outil de test de la réversibilité du réafficheur v8->v8 | herbelin | 2006-04-26 |
| git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8740 85f007b7-540e-0410-9357-904b9bb8a0f7 | |||
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |