Name Last modified Size Parent Directory - english.sty 1992-10-21 09:00 331 dutch.sty 1992-10-21 09:00 543 bib2dvi2.awk 1992-07-27 09:00 161 bib2dvi1.awk 1992-10-21 09:00 2.5K bib2dvi.sty 1992-07-27 09:00 6.6K bib2dvi 1992-10-22 09:00 4.5K