Name Last modified Size Description
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory 29-Nov-2002 15:54 -
![[ ]](/icons/unknown.gif){kind=icon}
00Description 24-Oct-1995 00:00 1k
bib2dvi 22-Oct-1992 00:00 5k
bib2dvi.bak 22-Oct-1992 00:00 4k
![[TXT]](/icons/text.gif){kind=icon}
bib2dvi.sty 27-Jul-1992 00:00 7k
bib2dvi1.awk 21-Oct-1992 00:00 2k
bib2dvi2.awk 27-Jul-1992 00:00 1k
dutch.sty 21-Oct-1992 00:00 1k
english.sty 21-Oct-1992 00:00 1k