diff options
| author | herbelin | 2000-07-28 13:28:09 +0000 |
|---|---|---|
| committer | herbelin | 2000-07-28 13:28:09 +0000 |
| commit | 89a3416f68bddad29e80ed7d4f93b4a5ef418bd7 (patch) | |
| tree | bde5b9b4eb8f82b6a027d7156fcf91055eeeaac2 /kernel | |
| parent | 0aa70be388ced06a8471ff9e53408b2b9770f2f7 (diff) | |
messages d'erreur
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@576 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions