> 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: [EMAIL PROTECTED]
http://caristudenti.cs.unibo.it/~sacerdot
----------------------------------------------------------------
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
