[isabelle-dev] Unicode tokens and Isabelle fonts

Makarius makarius at sketis.net
Wed Jul 29 15:56:54 CEST 2009

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

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.


More information about the isabelle-dev mailing list