![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| compare-coord-grad | 2008-02-04 20:21 | 1.4K | |
| monotonize-energy-plot | 1998-11-29 01:49 | 184 | |
| run-big-test | 1995-08-03 16:10 | 1.9K | |
| run-small-test | 1995-07-31 16:49 | 1.9K | |
| top-fix-face-color | 1995-08-03 15:49 | 86 | |
| top-list-finals | 1996-10-25 01:48 | 127 | |
| top-make-faces-opaque | 1995-08-03 15:51 | 133 | |
| top-make-pov-colors-..> | 1995-09-30 20:17 | 63 | |
| top-make-sampler | 2008-02-04 18:49 | 1.1K | |
| top-remove-dual-edges | 1995-09-07 00:00 | 97 | |
| top-remove-excess-files | 1995-07-22 23:11 | 131 | |
| top-remove-huge-edges | 1995-08-03 15:22 | 79 | |
| top-to-eps-bitmap | 2008-02-04 16:46 | 1.5K | |
| top-to-ppm | 2008-02-04 16:46 | 2.0K | |
| top-to-ps | 1995-08-01 14:46 | 169 | |