[isabelle-dev] Unicode tokens and Isabelle fonts

[Alexander Krauss]

Makarius wrote:
> I am still 
> hoping that the STIX project will deliver something after all these 
> years, see http://www.aip.org/stixfonts/

I like the website:

   The target date for final release of this production version is two 
months ago. This site was last updated four months ago. The next update 
will occur three months ago.

Alex