diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2004-11-29 08:48:32 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2004-11-29 08:48:32 +0000 |
| commit | 916408607bcf7d915d10fd6f448e1c4f0670c878 (patch) | |
| tree | 6c1d26465f5eea1e43d2d20ffccd0967e855eecc /kernel | |
| parent | 41403b911354db4b3787b2d4502ef50c92899c36 (diff) | |
Correction 1.138 appliquée à tort à la branche principale au lieu de V8-0bugfix; retour version 1.137
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6379 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions