On Tue, Feb 05, 2002 at 08:40:46PM +0200, Dekel Tsur wrote: > Comments ? (and can I do this before 1.2.0 ?)
It would be nice if it worked. The new symbols are a huge part of the user visible changes to mathed and simply should work. But wait for Lars ;-) Anayway: could you please explain once more why using the '10' in the font names is the right thing? Andre' -- André Pönitz .............................................. [EMAIL PROTECTED]
