Re: [isabelle] Does anyone know how to get rid of => marker in PG4.0?



On Wed, 11 Nov 2009, Rafal Kolanski wrote:

In PG 4.0 (CVS), in addition to colour, the progress through a theory is marked with a "=>" at the next command to be processed. So:

text {* blah *}

lemma "1 + 1 = 2" oops

after one command advance becomes:

text {* blah *}

=>mma "1 + 1 = 2" oops

I've also seen this marker, but only as a small graphical triangle left of the text area. (This was something like GNU Emacs 23.1.1.)


	Makarius





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