Re: [isabelle] Remaining reasons for Proof General

You can put any number of marks in a file. They track edits quite well, and they persist over sessions.

On 11 Nov 2013, at 14:59, Makarius <makarius at> wrote:

>> Similarly, I often want to look somewhere else in my theory file (and use PgUp/PgDn for that); with ProofGeneral, I just type C-c C-. to get back to where I was before, but I do not know an equally simple way in jEdit.
> ...
> What jEdit (or Isabelle/jEdit) really needs is nice navigation support in the sense of Firefox or similar.  One mainly needs to work out a good scheme when or how to "commit" positions to the navigation history, and maybe brush up the existing Navigator plugin.

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