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