[isabelle-dev] Unicode tokens and Isabelle fonts
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