[isabelle-dev] Isabelle/jEdit: Feature Requests for Ctrl-Click

[Tjark Weber]

On Mon, 2012-08-27 at 13:35 +0200, Makarius wrote:
> >> 1) In "theory T imports A", I'd like to be able to Ctrl-click on A to
> >> open the corresponding theory file.
> 
> See some changesets leading up to Isabelle/10b89c127153 how I've spent 
> Sunday afternoon.

Nice. I suspect it would be considerably more work to support C-click
in already loaded theories (e.g., HOL/Main)?

Best regards,
Tjark