../ ref/ 25-Nov-2013 15:52 - FAQ.pdf 17-Nov-2008 16:42 50193 NEWS.pdf 17-Nov-2008 16:42 119213 README.pdf 17-Nov-2008 16:42 68915 vaucanson-1.2.94.tar.bz2 17-Nov-2008 16:40 61436770 vaucanson-1.2.94.tar.gz 17-Nov-2008 16:40 65238922 vaucanson-manual.pdf 17-Nov-2008 16:55 531076