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



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

   Norbert

On 17.11.2009, at 12:06, Gerwin Klein wrote:

> Current Carbon Emacs (based on GNU Emacs 22.3.1) seems to work reasonably well with current PG cvs, but only with Unicode Tokens, which frankly by default look horrible. 






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