diff options
| author | herbelin | 2006-04-26 21:55:21 +0000 |
|---|---|---|
| committer | herbelin | 2006-04-26 21:55:21 +0000 |
| commit | 2e43a5bd52cf2b83aa3624b27d0a5bef4d4b72ff (patch) | |
| tree | 6c43ed258138801085ad8d8f6ff2fd435f0ba143 /dev/include | |
| parent | 72b8331c95e28605f7327f51e6c98920a9062fab (diff) | |
Prise en compte du Require multiple
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8737 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions