[isabelle] ctrl-clicking on things
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