On Tue, Feb 05, 2002 at 08:26:21PM +0100, Andre Poenitz wrote: > 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?
Because this is the name given inside the font: fonts.29> pfbtops cmr10.pfb | grep FullName /FullName (CMR10) readonly def and thus, this is the name that is used by type1inst.