| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| bib2dvi | 4.5 KiB | 1992-10-21 18:00:00 UTC+09:00 |
| bib2dvi.sty | 6.6 KiB | 1992-07-26 18:00:00 UTC+09:00 |
| bib2dvi1.awk | 2.5 KiB | 1992-10-20 18:00:00 UTC+09:00 |
| bib2dvi2.awk | 161 B | 1992-07-26 18:00:00 UTC+09:00 |
| dutch.sty | 543 B | 1992-10-20 18:00:00 UTC+09:00 |
| english.sty | 331 B | 1992-10-20 18:00:00 UTC+09:00 |