diff options
| author | Théo Zimmermann | 2019-01-29 22:27:44 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2019-01-29 22:27:44 +0100 |
| commit | 29fe9cf74333d032c84169ac671232269e2a721a (patch) | |
| tree | ca6a8c1842ba49fba3a974efa63a62550057228f /dev | |
| parent | 325c4ae65f5c72c531a18b1d3871c840a2f32980 (diff) | |
| parent | de9a5897eb2b7d325f7f65a5c30f71203be05834 (diff) | |
Merge PR #9435: Use \mathcal instead of \cal
Reviewed-by: Zimmi48
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] \\ |