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

Dear Isabelle Users,

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 do not like this, but I cannot turn it off. I've looked through all the menus and don't see it, I've grepped though the PG source looking for a "=>" I could turn into "", but haven't found anything relevant.

Does anyone know what I don't?


Rafal Kolanski.

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