Stefano Zacchiroli wrote: > > Currently, the tool list includes: > > - checkout-d-o-m-repo > - d-o-m-mrconfig > - new-d-o-m-git-repo > What about: - ocaml-pkg-checkout - ocaml-pkg-mrconfig - ocaml-pkg-new-repo or - dom-checkout - dom-mrconfig - dom-new-repo -- Mehdi Dogguy مهدي الدقي http://www.pps.jussieu.fr/~dogguy Tel.: (+33).1.44.27.28.38