../ bugs.tex 27-Sep-1992 07:00 10K contents.tex 27-Sep-1992 07:00 1243 cora.tex 27-Sep-1992 07:00 11K firstpage.tex 27-Sep-1992 07:00 4433 head.tex 27-Sep-1992 07:00 808 meetings.tex 27-Sep-1992 07:00 6003 metafont.tex 27-Sep-1992 07:00 7291 pira.tex 27-Sep-1992 07:00 1333 postscrip.tex 27-Sep-1992 07:00 5089 set.tex 27-Sep-1992 07:00 180 texline.tex 27-Sep-1992 07:00 847