../ dochc.tex 27-Aug-1992 07:00 38K hpmanual.tex 27-Aug-1992 07:00 52K hptex.doc 27-Aug-1992 07:00 35K hptex.tex 27-Aug-1992 07:00 35K macroshc.tex 27-Aug-1992 07:00 42K