Re: [isabelle] Remaining reasons for Proof General



On Mon, 11 Nov 2013, Lawrence Paulson wrote:

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

Good point.

I am myself not yet aqcuainted with markers. Likewise multiple registers for copy-paste. There is always something left to learn about jEdit.


	Makarius




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