| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Support for using type information to infer more precise evar sources. |  Hugo Herbelin | 2017-05-30 |
| | | | | | | | | | This allows a better control on the name to give to an evar and, in particular, to address the issue about naming produced by "epose proof" in one of the comment of Zimmi48 at PR #248 (see file names.v). Incidentally updating output of Show output test (evar numbers shifted). | ||
| * | Delete trailing whitespaces in all *.{v,ml*} files |  glondu | 2009-09-17 |
| | | | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12337 85f007b7-540e-0410-9357-904b9bb8a0f7 | ||
| * | Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8 |  herbelin | 2005-12-21 |
| git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7693 85f007b7-540e-0410-9357-904b9bb8a0f7 | |||
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |