| Commit message (Collapse) | Author | Age |
|---|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
|
|
| |
AFAICS `imagemagick` `hacha` and `transfig` are not used anymore.
|
| | |
|
| |
|
|
|
| |
Most of these warnings should really be errors (ill-formed input,
invalid cross references, etc.) so we make it the default.
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| |\ |
|
| | |\ |
|
| | | |\ |
|
| | | | | |
|
| |/ / / |
|
| |/ / |
|
| |/ |
|
| |
|
|
|
| |
Thanks to Enrico Tassi, Assia Mahboubi, Laurence Rideau and Yves Bertot
for porting this chapter.
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
|
|
| |
Thanks to Paul Steckler for porting this chapter.
|
| | |
|
| | |
|
| | |
|
| |
|
|
|
|
|
|
| |
The original contribution is from Clément Pit-Claudel. I updated
his code and integrated it with the Coq build system. Many improvements
by Paul Steckler (MIT).
This commit adds the infrastructure but no content.
|
| | |
|
| | |
|
| | |
|
| | |
|
| |\ |
|
Gaëtan Gilbert
Clément Pit-Claudel
Hugo Herbelin
Théo Zimmermann
Emilio Jesus Gallego Arias
Maxime Dénès
Matthieu Sozeau
Guillaume Melquiond
mrmr1993