../ bull24.dvi 03-May-1998 15:00 213K bull24.info 03-May-1998 15:00 201K bull24.texi 03-May-1998 15:00 206K bull24.text 03-May-1998 15:00 192K fsf-order-form.tex 03-May-1998 15:00 12K infopkgindex 03-May-1998 15:00 26K order-form-macros.tex 04-Jun-1998 15:00 4460 texinfo.tex 03-May-1998 15:00 140K