Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | CHANGES | 1032 | logplain |
-rw-r--r-- | README | 2508 | logplain |
-rw-r--r-- | VCColor-names.def | 3931 | logplain |
d--------- | VCManual-src | 81 | logplain |
-rw-r--r-- | VCManual.pdf | 296344 | logplain |
-rw-r--r-- | VCPref-beamer.tex | 1374 | logplain |
-rw-r--r-- | VCPref-default.tex | 5984 | logplain |
-rw-r--r-- | VCPref-mystyle.tex | 3360 | logplain |
-rw-r--r-- | VCPref-slides.tex | 1390 | logplain |
-rw-r--r-- | Vaucanson-G.tex | 43530 | logplain |
-rw-r--r-- | vaucanson-g.sty | 2584 | logplain |
-rw-r--r-- | vaucanson.sty | 2721 | logplain |