diff options
| author | notin | 2009-02-11 14:39:19 +0000 |
|---|---|---|
| committer | notin | 2009-02-11 14:39:19 +0000 |
| commit | fe0e355164bf8401ee5f2397584d3e3a04b82240 (patch) | |
| tree | 34cf1b61daf7b26ad8cd9c23447e4c5ce07775e3 /kernel/type_errors.mli | |
| parent | c3acdf3caca52e3b09ac075f043c4eddfe5d0814 (diff) | |
Gestion des espaces dans les noms + guess_coqlib sous Windows
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11921 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions