Re: splitting the ocaml package ???
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 <zack@cs.unibo.it> 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"
Reply to: