Re: [isabelle] ctrl-clicking on things

Le 10/02/14 11:27, John Wickerson a écrit :
Hi all,

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!

Hi John,

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.

Thomas Genet
Campus de Beaulieu, 35042 Rennes cedex, France
Tél: +33 (0) 2 99 84 73 44 E-mail: genet at

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.