diff options
| author | mayero | 2000-11-10 22:32:02 +0000 |
|---|---|---|
| committer | mayero | 2000-11-10 22:32:02 +0000 |
| commit | 4c389d1c425b5b0cc168b6071f2bbcdff80b7597 (patch) | |
| tree | 6d75e40e3a370c3171bbce184d96c640e5e6dca4 /kernel | |
| parent | 384bfc99d2e19d14176261b60665766aad803c54 (diff) | |
mise-a-jour, ajouts de quelques truc...
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@843 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions