diff options
| author | herbelin | 2005-02-05 10:51:29 +0000 |
|---|---|---|
| committer | herbelin | 2005-02-05 10:51:29 +0000 |
| commit | 4f2a714d5bf23c86d962e7efeadf41ced2309467 (patch) | |
| tree | f2163df09ed1ead850b8e5166c53ffe1080c024c /kernel/type_errors.ml | |
| parent | ee8f10e5054911f020aade6d4719fe039c8f6e1a (diff) | |
Localisation des libraries compilées uniquement via la structure du loadpath (sinon des modules de même nom chargés via un Export sont trouvés avant ceux officiellement dans le chemin)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6689 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions