../ ref/ 25-Nov-2013 15:53 - FAQ.pdf 23-Aug-2008 11:57 50185 NEWS.pdf 23-Aug-2008 11:58 126076 README.pdf 23-Aug-2008 11:58 71816 vaucanson-1.2.91.tar.bz2 23-Aug-2008 09:57 13294554 vaucanson-1.2.91.tar.gz 23-Aug-2008 09:57 17814239 vaucanson-developer-manual.pdf 23-Aug-2008 10:40 527417 vaucanson-user-manual.pdf 23-Aug-2008 11:58 178643