Re: splitting the ocaml package ???

[Stefano Zacchiroli]

On Mon, Mar 26, 2001 at 03:00:14PM +0200, Georges Mariano wrote:
> Stefano Zacchiroli wrote:
> 
> > ledit is pretty useful in combination with ocaml e coqtop.
> > Is small enough (200kb) to fit in ocaml-tools package but I think that
> > it can be packaged by itself cause is not strictly related to ocaml but
> > is more general pourpose for many textual apps.
> 
> and ocaml-tools suggesting ledit ??

right.

[OT]: also coq could suggest ledit

-- 
        - Zack -

Stefano Zacchiroli <[EMAIL PROTECTED]> ICQ# 33538863
Home Page: http://www.students.cs.unibo.it/~zacchiro
Undergraduate Student of Computer Science at University of Bologna, Italy
SysAdm of verdicchio.students.cs.unibo.it (130.136.3.134)
        "Information wants to be Open"


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