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.
This archive was generated by a fusion of
Pipermail (Mailman edition) and