diff options
| author | Guillaume Melquiond | 2015-07-30 08:30:00 +0200 |
|---|---|---|
| committer | Guillaume Melquiond | 2015-07-30 08:30:00 +0200 |
| commit | a9f3607ae72517156301570a4ffa05908609b7e0 (patch) | |
| tree | 9d9d67a529332e5875fb2227d56b77310c2db5a7 /doc/tutorial | |
| parent | 070139d3a82ea23e4d050dd5ccebe3f17047cc62 (diff) | |
Fix width of underscore in coq_tex output.
Diffstat (limited to 'doc/tutorial')
0 files changed, 0 insertions, 0 deletions