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 /dev | |
| 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 'dev')
| -rw-r--r-- | dev/doc/versions-history.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev/doc/versions-history.tex b/dev/doc/versions-history.tex index 8f9c3171da..1c4913d201 100644 --- a/dev/doc/versions-history.tex +++ b/dev/doc/versions-history.tex @@ -271,7 +271,7 @@ Coq ``V7'' archive & August 1999 & new cvs archive based on J.-C. Filliâtre's \ & & \feature{kernel-centric} architecture \\ & & more care for outside readers\\ & & (indentation, ocaml warning protection)\\ -Coq V7.0beta& released 27 December 2000 & \feature{${\cal L}_{\mathit{tac}}$} \\ +Coq V7.0beta& released 27 December 2000 & \feature{${\mathcal{L}}_{\mathit{tac}}$} \\ Coq V7.0beta2& released 2 February 2001\\ Coq V7.0& released 25 April 2001 & \feature{extraction} (version 2) [6-2-2001] \\ |