On Mon, Mar 26, 2001 at 03:04:29PM +0200, Stefano Zacchiroli wrote: > On Mon, Mar 26, 2001 at 03:00:14PM +0200, Georges Mariano wrote: > > and ocaml-tools suggesting ledit ?? > > right. Wrong. Since the ocaml toplevel profits from it the package that contains the toplevel (whichever this will be) should Recommend (or rather Suggest ?) it. There is no reason that ocaml-tools should recommend it since none of the ocaml-tools profits from it. -Ralf.