diff options
| author |  letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2001-09-17 14:34:28 +0000 |
|---|---|---|
| committer | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2001-09-17 14:34:28 +0000 |
| commit | bb5d4873da98345d6f8a53444e4a18a810503632 (patch) | |
| tree | f1b6c2ea20beda0cf9f8e6508ae13809e88ebec2 /.depend.coq | |
| parent | e223c5ad028cf840943a3314dba91b901fec22df (diff) | |
Documentation de Show Intro(s)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8218 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to '.depend.coq')
0 files changed, 0 insertions, 0 deletions