From b4f1b8c32177ce5af37357fc4a7ab0df22a497d6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Nicolas=20M=C3=A9ric?= Date: Tue, 6 Jun 2023 19:03:20 +0200 Subject: [PATCH] Fix ECs latex list of tables --- Isabelle_DOF-Ontologies/CENELEC_50128/DOF-CENELEC_50128.sty | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Isabelle_DOF-Ontologies/CENELEC_50128/DOF-CENELEC_50128.sty b/Isabelle_DOF-Ontologies/CENELEC_50128/DOF-CENELEC_50128.sty index 53e6f38..23c2e74 100644 --- a/Isabelle_DOF-Ontologies/CENELEC_50128/DOF-CENELEC_50128.sty +++ b/Isabelle_DOF-Ontologies/CENELEC_50128/DOF-CENELEC_50128.sty @@ -128,7 +128,7 @@ \begin{isamarkuptext}% \ifthenelse{\equal{\commandkey{CENELECUNDERSCOREFIVEZEROONETWOEIGHTDOTrequirementDOTlongUNDERSCOREname}}{}}{% \begin{EC}% - \addxcontentsline{tos}{chapter}[]{\autoref{\commandkey{label}}}% + \addxcontentsline{toe}{chapter}[]{\autoref{\commandkey{label}}}% }{% \begin{EC}[\commandkey{CENELECUNDERSCOREFIVEZEROONETWOEIGHTDOTrequirementDOTlongUNDERSCOREname}]% \addxcontentsline{toe}{chapter}[]{\autoref{\commandkey{label}}: \commandkey{CENELECUNDERSCOREFIVEZEROONETWOEIGHTDOTrequirementDOTlongUNDERSCOREname}}%