| 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.
|
| |
|
| |
|
| |
|
| |
|
|\ |
|