![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
![[IMG]](/icons/image2.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| MAXIMAmap.old.eps | 05-May-2000 16:03 | 1.0M | |
| launch.tif | 29-Apr-2000 15:51 | 38M | |
| maxima.team.tif | 29-Apr-2000 15:47 | 38M | |
| maxima_map.gif | 07-May-2000 23:39 | 275K | |
| maxima_map.ps | 07-May-2000 23:39 | 6.7M | |
| old_versions/ | 08-May-2000 10:46 | - | |