../ ref/ 25-Nov-2013 15:52 - FAQ.pdf 10-Oct-2008 14:15 51001 NEWS.pdf 10-Oct-2008 14:15 121933 README.pdf 10-Oct-2008 14:15 70643 vaucanson-1.2.93.tar.bz2 10-Oct-2008 14:14 17407440 vaucanson-1.2.93.tar.gz 10-Oct-2008 14:14 22543635 vaucanson-developer-manual.pdf 10-Oct-2008 14:14 524844 vaucanson-user-manual.pdf 10-Oct-2008 14:14 179842