[isabelle] ctrl-clicking on things

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!


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