../ bib2dvi 22-Oct-1992 05:30 4637 bib2dvi.sty 27-Jul-1992 05:30 6800 bib2dvi1.awk 21-Oct-1992 05:30 2534 bib2dvi2.awk 27-Jul-1992 05:30 161 dutch.sty 21-Oct-1992 05:30 543 english.sty 21-Oct-1992 05:30 331