../ ref/ 25-Nov-2013 15:53 - NEWS.pdf 08-Jul-2009 12:20 125802 README.pdf 08-Jul-2009 12:20 64338 taf-kit-manual.pdf 08-Jul-2009 12:21 214971 vaucanson-1.3.1.tar.bz2 08-Jul-2009 12:16 12556386 vaucanson-1.3.1.tar.gz 08-Jul-2009 12:17 14588503