| Name ▴ | Size | Last Modified |
|---|---|---|
| ../ | - | - |
| bib2dvi | 4.5 KB | 1992-10-22 00:00 |
| bib2dvi.sty | 6.6 KB | 1992-07-27 00:00 |
| bib2dvi1.awk | 2.5 KB | 1992-10-21 00:00 |
| bib2dvi2.awk | 161 B | 1992-07-27 00:00 |
| dutch.sty | 543 B | 1992-10-21 00:00 |
| english.sty | 331 B | 1992-10-21 00:00 |
6 items, 14.7 KB total