Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] ctrl-clicking on things

Email Gateway (Aug 19 2022 at 13:46):

From: John Wickerson <johnwickerson@cantab.net>
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!

John

Email Gateway (Aug 19 2022 at 13:46):

From: Thomas Genet <thomas.genet@irisa.fr>
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

Last updated: Apr 23 2024 at 16:19 UTC