[isabelle-dev] Unicode tokens and Isabelle fonts

[Makarius]

On Wed, 29 Jul 2009, Alexander Krauss wrote:

> 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.

The official 1.0 release is actually planned in September.  See
http://developers.slashdot.org/article.pl?sid=05/05/18/1221242&tid=162

STIX announcements have already become a (bad) insider joke.  Let's hope 
they will manage eventually.  Right now we have more immediate problems 
with Emacs and Proof General.


 	Makarius