henry (09/30/82)
Installed a bunch of new nroff terminal tables in preparation for some new formatting software. In particular, 10-pitch printing is now available on the Sanders, and so are Greek letters (in 10-pitch only; Sanders does not yet have a 12-pitch Greek font).