Index of /dist

 Name                    Last modified       Size  Description

 Parent Directory        18-Nov-2002 01:15      -  
 mico-2.3.1-mt-000209..> 08-May-2001 17:21   102k  
 mico-2.3.1-mt-000209..> 08-May-2001 17:21   130k  GZIP compressed docume>
 micomt-000110-000209..> 08-May-2001 17:22    17k  
 micomt-000110-000209..> 08-May-2001 17:22    19k  GZIP compressed docume>
 micomt-000209.tar.bz2   08-May-2001 17:22   1.3M  tar archive
 micomt-000209.tar.gz    08-May-2001 17:22   1.6M  GZIP compressed docume>
 micomt-000209.zip       08-May-2001 17:23   2.2M  
 micomt-2000-01-10.ta..> 08-May-2001 17:23   1.6M  GZIP compressed docume>
 micomt-2000-01-10.zip   08-May-2001 17:23   2.2M  
 micomt-991123-991126..> 08-May-2001 17:23     1k  GZIP compressed docume>
 micomt-991123.tar.gz    08-May-2001 17:24   1.6M  GZIP compressed docume>
 micomt-991126-991203..> 08-May-2001 17:24    32k  GZIP compressed docume>
 micomt-991126.tar.gz    08-May-2001 17:24   1.6M  GZIP compressed docume>
 micomt-991203-991213..> 08-May-2001 17:24    52k  GZIP compressed docume>
 micomt-991203.tar.gz    08-May-2001 17:24   1.6M  GZIP compressed docume>
 micomt-991213-2000-0..> 08-May-2001 17:25   551k  GZIP compressed docume>
 micomt-991213.tar.gz    08-May-2001 17:25   1.6M  GZIP compressed docume>
 thesis.pdf              08-May-2001 17:25   731k