![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| PRM.tar.Z | 1993-07-06 00:00 | 273K | |
| README-prm | 1993-05-04 00:00 | 844 | |
| README-prospero-documents | 1993-12-01 00:00 | 12K | |
| doc/ | 1994-04-02 00:00 | - | |
| mail/ | 1994-04-25 00:00 | - | |
| prospero-alpha.5.2.tar.Z | 1993-07-07 00:00 | 1.1M | |
| prospero-alpha.5.2a.tar.Z | 1993-08-06 00:00 | 1.1M | |
| prospero-beta.4.2e.tar.Z | 1992-05-14 00:00 | 416K | |
| prospero-beta.5.1.tar.Z | 1993-05-18 00:00 | 853K | |
| prospero-new.tar.Z | 1993-08-06 00:00 | 1.1M | |
| prospero.tar.Z | 1993-05-18 00:00 | 853K | |