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 http://proofgeneral.inf.ed.ac.uk/trac/

(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.