| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| bib2dvi | 4637 | 1992-Oct-22 09:00 | |
| bib2dvi.sty | 6800 | 1992-Jul-27 09:00 | |
| bib2dvi1.awk | 2534 | 1992-Oct-21 09:00 | |
| bib2dvi2.awk | 161 | 1992-Jul-27 09:00 | |
| dutch.sty | 543 | 1992-Oct-21 09:00 | |
| english.sty | 331 | 1992-Oct-21 09:00 | |