Unicode Tokens replacement for X-Symbol

A replacement for X-Symbol will be shipped with Proof General 4.0. This page makes some notes about its development.

This topic: PG > UnicodeTokens
Topic revision: r1 - 21 Jul 2008 - 10:52:37 - DavidAspinall
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
This Wiki uses Cookies