![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| PRM.tar.Z | 06-Jul-1993 00:00 | 273K | |
| doc/ | 10-Feb-2004 13:09 | - | |
| mail/ | 10-Feb-2004 13:08 | - | |
| prospero-alpha.5.2.tar.Z | 07-Jul-1993 00:00 | 1.1M | |
| prospero-alpha.5.2a.tar.Z | 06-Aug-1993 00:00 | 1.1M | |
| prospero-beta.4.2e.tar.Z | 14-May-1992 00:00 | 416K | |
| prospero-beta.5.1.tar.Z | 18-May-1993 00:00 | 853K | |
| prospero-new.tar.Z | 06-Aug-1993 00:00 | 1.1M | |
| prospero.tar.Z | 18-May-1993 00:00 | 853K | |