Re: [isabelle] Feature request: definition on crtl+hover
I find that if you ctrl+click on a function name, then the focus jumps to the definition of that function.
On 17 Dec 2012, at 16:58, Holger Blasum wrote:
> Dear all,
> I would ask that when you ctrl+hover on a function definition
> (such as mysucc in attached hover.thy) then not only the
> typing information of mysucc ("nat => nat") shows up but
> also the body of the function ("mysucc n = n + 1"). Or does that
> feature already exist?
This archive was generated by a fusion of
Pipermail (Mailman edition) and