diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2006-10-26 07:52:31 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2006-10-26 07:52:31 +0000 |
| commit | fb147ff4928c1720492693d61f97c49a84839bc0 (patch) | |
| tree | cfdab758c9ecceaa91eac1f11a2b58b27fa5a16b /man | |
| parent | 32f5e926ed646fcdba6ae45141d2a6d5b3ae738a (diff) | |
Petit bug apply in
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9281 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'man')
0 files changed, 0 insertions, 0 deletions