Re: [isabelle] Does anyone know how to get rid of => marker in PG4.0?



On 17/11/2009, at 10:45 PM, Norbert Schirmer wrote:

> That depends on the default! If you magically get the fonts provided with isabelle (lib/fonts) it actually looks quite good!

This may be my own fault actually, it is using some other default, not the Isabelle fonts. 

Thanks for the hint, I'll see if I can get it to use lib/fonts instead.

Cheers,
Gerwin




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