Index of /pub/OS/Nachos

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 COPYRIGHT               1993-12-03 20:08  1.0K  
 README                  1994-03-10 22:09   15K  
 README-3.2              1994-03-10 22:09  734   
 nachos-3.0.tar.Z        1993-12-03 20:09  476K  
 nachos-3.2.tar.Z        1994-03-10 22:17  518K  
 nachos.ps               1993-12-03 20:09  133K  
 overview.tex            1992-08-17 17:08  4.6K