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