Name Last modified Size Description![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[DIR]](/icons/folder.gif){kind=icon}
VCManual-src/ 2008-11-02 12:03 -
![[ ]](/icons/unknown.gif){kind=icon}
CHANGES 2008-10-27 11:34 1.0K
![[ ]](/icons/hand.right.gif){kind=icon}
README 2008-10-27 11:32 2.4K
![[TXT]](/icons/text.gif){kind=icon}
VCColor-names.def 2008-10-24 08:47 3.8K
![[ ]](/icons/layout.gif){kind=icon}
VCManual.pdf 2008-10-27 12:11 289K
![[ ]](/icons/tex.gif){kind=icon}
VCPref-beamer.tex 2008-10-27 12:06 1.3K
VCPref-default.tex 2008-10-24 09:13 5.8K
VCPref-mystyle.tex 2008-10-24 09:13 3.3K
VCPref-slides.tex 2008-10-27 12:06 1.4K
Vaucanson-G.tex 2008-10-24 09:13 43K
vaucanson-g.sty 2008-10-27 12:06 2.5K
vaucanson.sty 2008-10-27 12:15 2.7K