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