diff options
| author | Guillaume Melquiond | 2015-07-26 08:38:05 +0200 |
|---|---|---|
| committer | Guillaume Melquiond | 2015-07-26 08:38:05 +0200 |
| commit | 20147a19e9f9a2bbeab5612c7ac17baaaf810af5 (patch) | |
| tree | f78eaff4072d1443cc38b8f4a75b3fcd0b86c31e /kernel/cemitcodes.ml | |
| parent | beff9386b82c4aa6e066642d56a36c8034f54604 (diff) | |
Regenerate the axiom figure of the FAQ.
The .png was ugly (less than 400px wide) and did not match the content of
the .fig file (e.g. presence of '$'). To improve things a bit, text is now
rendered by latex.
Diffstat (limited to 'kernel/cemitcodes.ml')
0 files changed, 0 insertions, 0 deletions