Re: ledit and the ocaml wrapper ...
> 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.
Cheers,
C.S.C.
--
----------------------------------------------------------------
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: sacerdot@cs.unibo.it
http://caristudenti.cs.unibo.it/~sacerdot
----------------------------------------------------------------
Reply to: