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

Tjark Weber webertj at in.tum.de
Tue Aug 28 02:44:26 CEST 2012

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,

More information about the isabelle-dev mailing list