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

Thanks Brian. I found it: "Cornflower Blue". Now I can rest in piece.


On Fri, Aug 26, 2011 at 10:11 AM, Brian Huffman <brianh at> wrote:

> 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

Alfio Ricardo Martini
PhD in Computer Science (TU Berlin)
Associate Professor at Faculty of Informatics (PUCRS)
Porto Alegre - RS - Brasil

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