diff options
| author | Gaëtan Gilbert | 2019-01-29 15:34:15 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-01-29 15:35:05 +0100 |
| commit | de9a5897eb2b7d325f7f65a5c30f71203be05834 (patch) | |
| tree | c9e66c34b7ce7acd95eea35abfe62bfb1ec8dc19 /stm/asyncTaskQueue.ml | |
| parent | a9b141469fe3036355be95d8cf5f0bf5c240fe37 (diff) | |
Use \mathcal instead of \cal
Apparently it's deprecated / doesn't always work, see
https://tex.stackexchange.com/questions/84041/why-does-calm-n-give-m
See #9429 (we also need to fix the distributed file on the server).
Diffstat (limited to 'stm/asyncTaskQueue.ml')
0 files changed, 0 insertions, 0 deletions