Re: [isabelle] returning to the original document in Isabelle/jedit
You mean, to go back to where you started from? Use ctrl-` (CMD-` on a Mac).
To allow navigation within a single document, use the Marks menu. It would be great if there were some sort of global bookmark system, but I don’t know of anything.
On 21 Jan 2014, at 14:39, Buday Gergely <gbuday at karolyrobert.hu> wrote:
> holding down ctrl and clicking on a name makes Isabelle/jedit to jump to the definition of that name.
> However, the documentation says
> Presently (Isabelle2013-2) there is no systematic navigation within the editor
> to return to the original location.
> Would implementing this be technically difficult or obviously there are more important things to do?
> - Gergely
This archive was generated by a fusion of
Pipermail (Mailman edition) and