../ VCColor-names.def 02-Feb-2025 19:27 3931 VCPref-beamer.tex 02-Feb-2025 19:27 1374 VCPref-default.tex 02-Feb-2025 19:27 5984 VCPref-mystyle.tex 02-Feb-2025 19:27 3360 VCPref-slides.tex 02-Feb-2025 19:27 1390 Vaucanson-G.tex 02-Feb-2025 19:27 43530 vaucanson-g.sty 02-Feb-2025 19:27 2584 vaucanson.sty 02-Feb-2025 19:27 2721