![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| tube-b.top | 1995-07-11 07:01 | 18K | |
| tube-a.top | 1995-07-11 07:05 | 18K | |
| vertex-x-a.top | 1995-07-12 05:25 | 18K | |
| vertex-x-b.top | 1995-07-12 05:25 | 18K | |
| vertex-xy-a.top | 1995-07-12 05:25 | 18K | |
| vertex-xy-b.top | 1995-07-12 05:25 | 18K | |
| vertex-y-a.top | 1995-07-12 05:25 | 18K | |
| vertex-y-b.top | 1995-07-12 05:25 | 18K | |
| vertex-z-a.top | 1995-07-12 05:25 | 18K | |
| vertex-z-b.top | 1995-07-12 05:25 | 18K | |
| show-plots | 1995-07-21 06:47 | 555 | |
| run-tests | 1996-10-22 07:52 | 471 | |