Change font size in Plain TeX.
A series of files, each of which defines a size-change macro.
Note that 10point.tex is by convention called by one of
the other files, so that there's always a “way
See also plnfss ofs font-selection.
The author is Don Hosek.
Version dated: 1992-08-27