Re: splitting the ocaml package ???

[Georges Mariano <georges.mariano@inrets.fr>]

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 ??


-- 
# Georges MARIANO                 tel: (33) 03 20 43 84 06
# INRETS, 20 rue Elisee Reclus    fax: (33) 03 20 43 83 59
# 59650 Villeneuve d'Ascq         mailto:georges.mariano@inrets.fr
# FRANCE.                         
# http://www3.inrets.fr/Public/ESTAS/Mariano.Georges/
# http://www3.inrets.fr/B-Bibliography/