Index of /~clavei_t/VaucansonDay

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 exo1/                   31-Mar-2004 05:15    -   
 exo2/                   31-Mar-2004 05:15    -   
 exo3/                   31-Mar-2004 05:15    -   
 exo4/                   31-Mar-2004 05:15    -   
 tutorial.pdf            31-Mar-2004 05:15  229K  
 vaucanson_day_automa..> 31-Mar-2004 08:23  163K  
 vaucanson_patterns.ps   31-Mar-2004 08:08  1.0M  
 vaucanswig.pdf          31-Mar-2004 05:15   92K

Apache/2.2.3 (Debian) DAV/2 mod_fastcgi/2.4.2 mod_python/3.2.10 Python/2.4.4 PHP/5.2.0-8+etch15 mod_ssl/2.2.3 OpenSSL/0.9.8c mod_perl/2.0.2 Perl/v5.8.8 Server at www.lrde.epita.fr Port 80