Confusion sur commit précédent de library. La capture du Not_found

dans la recherche du nom long était bien utile (parce que la table des
filename n'est plus synchronisée et plus dans le initial.coq) mais
c'est ailleurs qu'on reposait à tort sur la bonne synchronisation de
la table des noms longs.


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

0 files changed, 0 insertions, 0 deletions