diff options
author | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2006-12-26 14:09:38 +0000 |
---|---|---|
committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2006-12-26 14:09:38 +0000 |
commit | 76f02a4751c3eac40d91dfa7bb61de1f985672d3 (patch) | |
tree | d1baeaf19b47abd61c9e7c1a65def7c4bdfe0632 /library/lib.mli | |
parent | df78c17c0d1545f2ce37b6c2bb3521f0d2fb130b (diff) |
Report correction bug #1289 dans trunk (r9435 pour branche v8.1)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9463 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'library/lib.mli')
0 files changed, 0 insertions, 0 deletions