../ ref/ 25-Nov-2013 15:53 - FAQ.pdf 14-Dec-2007 14:11 49735 NEWS.pdf 14-Dec-2007 14:11 121472 README.pdf 14-Dec-2007 14:11 71793 vaucanson-1.1.1.tar.bz2 14-Dec-2007 14:10 11398720 vaucanson-1.1.1.tar.gz 14-Dec-2007 14:11 15848670 vaucanson-developer-manual.pdf 14-Dec-2007 14:11 494377 vaucanson-user-manual.pdf 14-Dec-2007 14:11 163139