Re: [isabelle] Isabelle2011: Where is that locked region (stronger) blue in PG?

On Fri, Aug 26, 2011 at 4:56 AM, Alfio Martini <alfio.martini at> wrote:
> Can anybody help me to get back that good-old fashioned PG stronger blue
> when using Isabelle2011?

In emacs, try customizing the face called "proof-locked-face". If you
have a setting for this saved in your .emacs file, it should override
any defaults that the various Isabelle versions may have.

- Brian

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