../ ref/ 25-Nov-2013 15:52 - FAQ.pdf 13-Jun-2007 16:23 50600 NEWS.pdf 13-Jun-2007 16:24 123298 README.pdf 13-Jun-2007 16:24 73336 vaucanson-1.0a.tar.bz2 13-Jun-2007 16:18 4090538 vaucanson-1.0a.tar.gz 13-Jun-2007 16:18 8101856 vaucanson-developer-manual.pdf 13-Jun-2007 16:23 491994 vaucanson-user-manual.pdf 13-Jun-2007 16:22 165714