[isabelle-dev] Isabelle/jEdit: Feature Requests for Ctrl-Click
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