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.


--  
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Reply via email to