Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - bib2dvi 1992-10-22 01:00 4.5K bib2dvi.sty 1992-07-27 02:00 6.6K bib2dvi1.awk 1992-10-21 01:00 2.5K bib2dvi2.awk 1992-07-27 02:00 161 dutch.sty 1992-10-21 01:00 543 english.sty 1992-10-21 01:00 331