![[ICO]](/theme/icons/blank.png){kind=icon} | Name | Last modified | Size |
|---|---|---|---|
![[PARENTDIR]](/theme/icons/folder-home.png){kind=icon} | Parent Directory | - | |
![[DIR]](/theme/icons/folder.png){kind=icon} | bin/ | 1999-10-20 09:25 | - |
| dosexe/ | 2000-04-03 12:01 | - |
| idxsty/ | 1999-10-20 09:25 | - |
| rcs/ | 1999-10-20 09:25 | - |
| texinput/ | 1999-10-20 09:25 | - |
| tug95/ | 2007-12-11 21:53 | - |
![[ ]](/theme/icons/default.png){kind=icon} | makefile | 1995-07-13 02:00 | 2.4K |
![[TXT]](/icons/text.gif){kind=icon} | tweb.sty | 1995-07-11 02:00 | 20K |
| vc.mnu | 1995-07-11 02:00 | 457 |