diff options
| author | notin | 2006-09-01 13:55:18 +0000 |
|---|---|---|
| committer | notin | 2006-09-01 13:55:18 +0000 |
| commit | af1b1dc39df2f23aef7c108e542c2bf08f916a87 (patch) | |
| tree | fb6ab09bcfac0493516e894e594571f72d8c346f /kernel/type_errors.mli | |
| parent | ced086814dcb43f53f2a4e413515685d744a7993 (diff) | |
Coq ne compile plus avec OCaml 3.06 (mais avec 3.07 c'est ok)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9116 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions