removed all device-dependent code. That means anything that was
optimized for a particular typesetter is gone, and eqn now looks up the
output device in a device file, like everybody else.

date and time created 83/08/15 10:12:18 by slatteng