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 sketis.net> 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