![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| BSTex | 21-Jan-2003 15:46 | 586 | |
| BSTexopt | 21-Jan-2003 15:46 | 586 | |
| fibtreeFull | 21-Jan-2003 15:46 | 440 | |
| fibtreePruned | 21-Jan-2003 15:46 | 621 | |
| fig | 21-Jan-2003 15:46 | 10 | |
| knaptreeFull | 21-Jan-2003 15:46 | 628 | |
| knaptreePruned | 21-Jan-2003 15:46 | 845 | |
| ps/ | 21-Jan-2003 15:46 | - | |