Index of /pub/unix/infosystems/prospero

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]PRM.tar.Z1993-07-06 00:00 273K 
[   ]README-prm1993-05-04 00:00 844  
[   ]README-prospero-documents1993-12-01 00:00 12K 
[DIR]doc/1994-04-02 00:00 -  
[DIR]mail/1994-04-25 00:00 -  
[   ]prospero-alpha.5.2.tar.Z1993-07-07 00:00 1.1M 
[   ]prospero-alpha.5.2a.tar.Z1993-08-06 00:00 1.1M 
[   ]prospero-beta.4.2e.tar.Z1992-05-14 00:00 416K 
[   ]prospero-beta.5.1.tar.Z1993-05-18 00:00 853K 
[   ]prospero-new.tar.Z1993-08-06 00:00 1.1M 
[   ]prospero.tar.Z1993-05-18 00:00 853K 

Apache/2.4.62 (Debian) Server at ftp.mizar.org Port 443