[isabelle-dev] Unicode tokens and Isabelle fonts

Alexander Krauss krauss at in.tum.de
Wed Jul 29 15:18:13 CEST 2009

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.


More information about the isabelle-dev mailing list