../ vaucanson-0.2.xsd 10-May-2006 11:49 20375 vaucanson-0.3.1.xsd 29-Jul-2006 17:55 24595 vaucanson-0.3.xsd 10-May-2006 11:49 20199 vaucanson-0.5.xsd 08-Sep-2008 10:06 15378 vaucanson.dtd 10-May-2006 11:54 4381