|
From: | Erik Sandberg |
Subject: | Re: The definition of \finger markup is bad |
Date: | Tue, 24 Aug 2004 16:43:31 +0200 |
User-agent: | KMail/1.6.2 |
On Friday 20 August 2004 11.36, Bertalan Fodor wrote: > The definition of \finger markup is bad. The numbers are too small and > I'm not sure if they are typeset with the number family. The bug is fixed in 2.3.12. Erik
[Prev in Thread] | Current Thread | [Next in Thread] |