Re: [isabelle] ctrl-clicking on things
Le 10/02/14 11:27, John Wickerson a écrit :
I love the ctrl-click interface in Isabelle/jEdit, i.e. ctrl-click on a variable/function/method/whatever and it'll jump to the definition. I really miss it when I'm doing ordinary programming in OCaml, and I wondered if anybody knows of an text editor or IDE that supports this feature for OCaml? (Ideally, but not necessarily, based on emacs.)
Thanks, and sorry for being horribly off-topic!
there are (at least) two ocaml pluggin for eclipse...
They are more and more usable and (if I am right) have the feature you
mention... plus auto completion etc.
Campus de Beaulieu, 35042 Rennes cedex, France
Tél: +33 (0) 2 99 84 73 44 E-mail: genet at irisa.fr
This archive was generated by a fusion of
Pipermail (Mailman edition) and