Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
drv.mp | 2011-02-22 18:55 | 80K | ||
coq-sample.tex | 2011-02-22 18:55 | 5.0K | ||
coq-sample.mp | 2011-02-22 18:55 | 2.5K | ||
makefile | 2011-02-22 18:55 | 1.1K | ||
readme.sh | 2011-02-22 18:55 | 318 |
This is just a mirror site. The original site is: https://ctan.org/
Contact for this mirror site: stefan@latex.org. Background