diff options
| author | herbelin | 2003-04-01 14:00:43 +0000 |
|---|---|---|
| committer | herbelin | 2003-04-01 14:00:43 +0000 |
| commit | 3889d04a72ebe669f501c09dfed9ae8647aec446 (patch) | |
| tree | 2c0c3877d0c5235333d4b3fccfd4a2efda3455df /dev | |
| parent | fb83ea501028d0b43e36df3eb01958f3f3d3cf75 (diff) | |
Correction bug #261 + amélioration nommage
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3834 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions