Re: [isabelle] PG: quirk in proof faces configuration

starting quote of a string is bound to "Isabelle Quote Face". However,
the final quote of a string is bound to "Proof Boring Face".

I've fixed this no in PG CVS, thanks for the correction.

p.s. If this is an issue for the ProofGeneral developers, where to post it?

Please use

(registration disabled, login as "isabelleuser" password "isabelle")

 - David

The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.

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