../ ref/ 25-Nov-2013 15:53 - 1.2.93 13-Mar-2009 08:34 6 FAQ.pdf 10-Sep-2008 13:36 50193 NEWS.pdf 10-Sep-2008 13:36 115414 README.pdf 10-Sep-2008 13:36 71803 vaucanson-1.2.92.tar.bz2 10-Sep-2008 13:21 59038816 vaucanson-1.2.92.tar.gz 10-Sep-2008 13:21 62569495 vaucanson-developer-manual.pdf 10-Sep-2008 13:35 525709