coq/test-suite/misc/deps/client, branch master The formal proof system Added test for bugs 2242, 2337, 2339 + remove the use of name "ambiguous" in 2010-09-18T16:42:43+00:00 herbelin 2010-09-18T16:42:43+00:00 a66a16e2e1d3264d87eaac66a809ec5e26849044 coqdep since it is now deterministic (later -R's overwriting former ones). git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13432 85f007b7-540e-0410-9357-904b9bb8a0f7 
coqdep since it is now deterministic (later -R's overwriting former ones).

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