diff options
| author | herbelin | 2000-12-22 09:28:44 +0000 |
|---|---|---|
| committer | herbelin | 2000-12-22 09:28:44 +0000 |
| commit | db5d4ed0a03173d97318940ea3bbd6e48228f912 (patch) | |
| tree | 811350a66e8dd5564045ebfbc944dd51400b92e5 /kernel | |
| parent | 78dc7c70892c514d4ec1dda1cfd70a616e52515d (diff) | |
MAJ V7
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1191 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions