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