diff options
| author |  aspiwack <aspiwack@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-12-18 17:41:35 +0000 |
|---|---|---|
| committer | aspiwack <aspiwack@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-12-18 17:41:35 +0000 |
| commit | 9b32b7fe41faa593b3d3d881b6722471c4999a0c (patch) | |
| tree | 5602e34c431b0492e275556f99e5b4d5f46dc562 /pretyping/tacred.ml | |
| parent | 5e1804d339d6da81eb4a0c46eadec1fb5ffb00f7 (diff) | |
Maintenant on scan les .ml pour les .dot/.dep.ps (fait avec Matthias).
Rien de fait pour les .ml4 encore. De plus il y a une bizarrerie avec
contradiction.ml qui plante sur coqdoc, ce n'est pas très grave, mais il
faudra regarder un jour quand même...
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11705 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'pretyping/tacred.ml')
0 files changed, 0 insertions, 0 deletions