../ dochc.tex 27-Aug-1992 08:00 39380 hpmanual.tex 27-Aug-1992 08:00 52736 hptex.doc 27-Aug-1992 08:00 35893 hptex.tex 27-Aug-1992 08:00 36211 macroshc.tex 27-Aug-1992 08:00 42988