../ ORIGIN 09-Aug-1993 10:59 1548 makeprog.web 09-Aug-1993 10:59 35879 progdoc.doc 09-Aug-1993 10:59 16492 progdoc.tex 09-Aug-1993 10:59 5279 progdocu.tex 09-Aug-1993 10:59 10080