MoiN

On Fri, Dec 28, 2001 at 03:44:19PM +0900, Atsuhito Kohda wrote:
> From: Matt Zimmerman <[EMAIL PROTECTED]>
> > - font, options for setting normalsize at 20pt (default), 17pt, 25pt or
> > + font, options for setting normal size at 20pt (default), 17pt, 25pt or
> 
> I got an above reports and I thought it was reasonable at first, 
> but, in TeX world, "normalsize" is a correct terminology and 

Maybe you want to use \normalsize instead?

    Ingo
-- 
Windows is like living in a dreamworld: There is no fork(2).


Reply via email to