6 files, 15 KiB
| Name | Modified (UTC) | Size |
|---|---|---|
| ../ | ||
| bib2dvi | 1992-10-22 00:00 | 4.5 KiB |
| bib2dvi.sty | 1992-07-27 00:00 | 6.6 KiB |
| bib2dvi1.awk | 1992-10-21 00:00 | 2.5 KiB |
| bib2dvi2.awk | 1992-07-27 00:00 | 161 B |
| dutch.sty | 1992-10-21 00:00 | 543 B |
| english.sty | 1992-10-21 00:00 | 331 B |