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



On Tue, 21 Jan 2014, Buday Gergely wrote:

However, the documentation says

   Presently (Isabelle2013-2) there is no systematic navigation within the editor
   to return to the original location.

Isabelle2014-RC0 now has the Navigator plugin enabled. Please try it to see if this important functionality works smoothly.


	Makarius




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.