../ makeprog.web 23-Nov-1989 06:00 35879 origin 23-Nov-1989 06:00 1548 progdoc.doc 23-Nov-1989 06:00 16492 progdoc.tex 23-Nov-1989 06:00 5279 progdocu.pdf 08-Apr-2006 00:42 88087 progdocu.tex 23-Nov-1989 06:00 10080