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