Autzoo.815
hacknews
utzoo!henry
Thu Jul 16 21:52:14 1981
boxed equations
Fixed some minor bugs in the boxed-equation macros.  Boxes may still be
less than perfect.