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

Makarius makarius at sketis.net
Tue Aug 28 14:46:50 CEST 2012

On Tue, 28 Aug 2012, Tjark Weber wrote:

> 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)?

That is a conceptually different problem: loaded images are "dead" wrt. 
document markup.  It will take several more rounds of refinement until the 
heap image concept is unified with the online document markup.


More information about the isabelle-dev mailing list