Re: [isabelle] unicode tokens in isabelle2011+pg4.0



Quoting Alexander Krauss <krauss at in.tum.de>:

Do I understand correctly that you do see the symbols correctly...?

And beautifully. But it only works for Apple Symbols, neither IsabelleText nor the Stix fonts (although the latter work perfectly well in all other applications). I have not explanation why this is so.

Clemens






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