../ addresses.tex 15-Jun-1991 07:00 583 badges.ps 15-Jun-1991 07:00 31380 badges.readme 27-Aug-1992 07:00 2462 badges.tex 15-Jun-1991 07:00 2410