Re: ledit and the ocaml wrapper ...
On Sat, Aug 18, 2001 at 12:34:01PM +0200, Claudio Sacerdoti Coen wrote:
> > But i would like to have your opinion on that. Which ones of you use ledit,
> > and if you sue, how do you invoke it ?
>
> ledit ocaml
> ledit coq
> ledit /home/projects/..../coq
> ...
>
> The reason is just that I have many installed copies of
> coq and ocaml in strange places. By the way, I would prefer
> to have diversions for debian-installed binaries.
No, i will remove the diversion stuff, it is nice, but had some problems,
especially because the wrappper broke calling ocaml as "ocaml file.ml".
Friendly,
Sven Luther
Reply to: