[isabelle] returning to the original document in Isabelle/jedit
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?
This archive was generated by a fusion of
Pipermail (Mailman edition) and