[isabelle] returning to the original document in Isabelle/jedit



Hi,

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 MHonArc.