On Fri, Dec 28, 2001 at 10:04:42PM +0100, Ingo Saitz wrote: > 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?
I was about to suggest the same thing; I made this erroneous correction because it wasn't clear from context what this was referring to. If it had read "\normalsize" or if "normalsize" was quoted, it would be clearer. -- - mdz
