Index of /pub/ibis/ibischk2+/old15

      Name                    Last modified       Size  Description


[DIR] Parent Directory        22-Dec-2003 10:05      -  
[TXT] 00readme.txt            28-Aug-1998 14:06     1k  
[DIR] alpha/                  22-Dec-2003 10:05      -  
[DIR] dos32/                  22-Dec-2003 10:05      -  
[DIR] hp700/                  22-Dec-2003 10:05      -  
[DIR] hp700_9/                22-Dec-2003 10:05      -  
[DIR] linux/                  22-Dec-2003 10:05      -  
[DIR] rs6000/                 22-Dec-2003 10:05      -  
[DIR] solaris/                22-Dec-2003 10:05      -  
[DIR] sun4/                   22-Dec-2003 10:05      -
Apache/1.3.33 Server at www.eda.org Port 80