[isabelle-dev] Isabelle/jEdit: Feature Requests for Ctrl-Click
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)?
More information about the isabelle-dev