Email Gateway (Aug 18 2022 at 18:15): Email Gateway (Aug 18 2022 at 18:15):From: Alfio Martini <alfio.martini@acm.org>
Dear Isabelle Users,
Yesterday I downloaded Isabelle2011 to give it a try. Everything works fine
(it is quite fast, indeed) up to
Proof General behavior
(at least to my expectations). The usual locked processed region is now with
a very faint blue (not the
usual classic one), which for me is almost impossible to see. Now we have a
(kind of)
black cursor at the left of the
window showing the next part of the buffer to be processed (?).
At the beginning I thought it was something to do with PG 4.1, but when I
use Isabelle2009-2 with PG 4.1, that
lovely stronger blue is back.
Can anybody help me to get back that good-old fashioned PG stronger blue
when using Isabelle2011?
It is so catchy, at least for me, and without it ,the whole experience
becomes very questionable :-).
Thanks anyway!
PS: I expect it to be something very simple and almost silly.
Email Gateway (Aug 18 2022 at 18:16):From: Brian Huffman <brianh@cs.pdx.edu>
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.
Email Gateway (Aug 18 2022 at 18:16):From: Alfio Martini <alfio.martini@acm.org>
Thanks Brian. I found it: "Cornflower Blue". Now I can rest in piece.
Cheers
Last updated: Apr 25 2024 at 08:20 UTC