Extraction Library works now when some files share the same short name (fix #2025)

 For instance, when we need to extract Init.Wf and Program.Wf,
 the first one gives wf.ml and the second wf0.ml.

 This name resolution mechanism is merged with the handling of the
 extraction filename blacklist. Hence, after Extraction Blacklist Foo,
 the coq file Foo.v will now be extracted as foo0.ml (instead of
 coq_Foo.ml as previously).

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11843 85f007b7-540e-0410-9357-904b9bb8a0f7

0 files changed, 0 insertions, 0 deletions