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.

Cheers

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

> On Fri, Aug 26, 2011 at 4:56 AM, Alfio Martini <alfio.martini at acm.org>
> 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.