![[ICO]](/theme/icons/blank.png){kind=icon} | Name | Last modified | Size |
|---|---|---|---|
![[PARENTDIR]](/theme/icons/folder-home.png){kind=icon} | Parent Directory | - | |
![[ ]](/theme/icons/default.png){kind=icon} | bib2dvi2.awk | 1992-07-27 02:00 | 161 |
![[TXT]](/icons/text.gif){kind=icon} | english.sty | 1992-10-21 01:00 | 331 |
| dutch.sty | 1992-10-21 01:00 | 543 |
| bib2dvi1.awk | 1992-10-21 01:00 | 2.5K |
| bib2dvi | 1992-10-22 01:00 | 4.5K |
| bib2dvi.sty | 1992-07-27 02:00 | 6.6K |
| Name | Last modified | Size |
|---|---|---|---|
| Parent Directory | - | |
| bib2dvi2.awk | 1992-07-27 02:00 | 161 |
| english.sty | 1992-10-21 01:00 | 331 |
| dutch.sty | 1992-10-21 01:00 | 543 |
| bib2dvi1.awk | 1992-10-21 01:00 | 2.5K |
| bib2dvi | 1992-10-22 01:00 | 4.5K |
| bib2dvi.sty | 1992-07-27 02:00 | 6.6K |