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

[Makarius]

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.


 	Makarius