summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/metapost/drv/sample
ModeNameSize
-rw-r--r--coq-sample.mp2574logplain
-rw-r--r--coq-sample.tex5162logplain
-rw-r--r--drv.mp59233logplain
-rw-r--r--makefile1004logplain
-rw-r--r--readme.txt277logplain