diff options
| author | herbelin | 2006-06-23 10:03:54 +0000 |
|---|---|---|
| committer | herbelin | 2006-06-23 10:03:54 +0000 |
| commit | 93642cdc3acb9f4e8d1b4ac1f1621d1104f04e54 (patch) | |
| tree | 5f3be6d99c001bb3219b3d5e2972f7e37790534f /doc/tutorial | |
| parent | 3f024bf1ae2b84028a631a8361c960022b9fe803 (diff) | |
Suppresion redondance interp_entry_name entre Q_util et Argextend
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8976 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc/tutorial')
0 files changed, 0 insertions, 0 deletions