| Parent directory/ | - | - |
| CHANGES | 466 B | 2011-Jul-14 22:13 |
| tab-clash-svg-dvips.tex | 1.3 KiB | 2011-Jul-14 22:13 |
| mpcolornames.pdf | 97.8 KiB | 2011-Jul-14 22:13 |
| fig-clash-svg-dvips.mp | 652 B | 2011-Jul-14 22:13 |
| tab-spec-dvipsnam-def.tex | 3.1 KiB | 2011-Jul-14 22:13 |
| tab-spec-x11nam-def.tex | 12.6 KiB | 2011-Jul-14 22:13 |
| tab-spec-svgnam-def.tex | 6.2 KiB | 2011-Jul-14 22:13 |
| proof-mpcolornames.mp | 703 B | 2011-Jul-14 22:13 |
| tab-spec-xcolor-sty.tex | 1.2 KiB | 2011-Jul-14 22:13 |
| README | 595 B | 2011-Jul-14 22:13 |
| tab-spec-plain-mp.tex | 549 B | 2011-Jul-14 22:13 |
| proof-spec-xcolor-sty.mp | 1.2 KiB | 2011-Jul-14 22:13 |
| proof-spec-x11nam-def.mp | 5.8 KiB | 2011-Jul-14 22:13 |
| mpcolornames.tex | 11.5 KiB | 2011-Jul-14 22:13 |
| proof-spec-dvipsnam-def.mp | 1.3 KiB | 2011-Jul-14 22:13 |
| expl-array-index.mp | 405 B | 2011-Jul-14 22:13 |
| proof-spec-plain-mp.mp | 181 B | 2011-Jul-14 22:13 |
| proof-spec-svgnam-def.mp | 2.8 KiB | 2011-Jul-14 22:13 |
| LICENSE | 526 B | 2011-Jul-14 22:13 |
