From de9a5897eb2b7d325f7f65a5c30f71203be05834 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Tue, 29 Jan 2019 15:34:15 +0100
Subject: 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).
---
 dev/doc/versions-history.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dev')

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] \\
-- 
cgit v1.2.3