From b6875bd916cf39cd4c07c655116f45b879484e25 Mon Sep 17 00:00:00 2001 From: Henrik Tidefelt Date: Thu, 30 Apr 2020 10:37:22 +0200 Subject: [PATCH] Don't say that comments are set in italics Comments set in italics are now formatted as non-normative content. The few remaining comments that are not formatted as non-normative content have no special formatting at all. --- chapters/introduction.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/chapters/introduction.tex b/chapters/introduction.tex index 5079fe7fb..4f8ae1ca9 100644 --- a/chapters/introduction.tex +++ b/chapters/introduction.tex @@ -93,7 +93,7 @@ \section{Some Definitions}\doublelabel{some-definitions} The semantic specification should be read together with the Modelica grammar. Non-normative text, i.e., examples and comments, are enclosed - in {[} {]}; comments are set in italics. Additional terms are explained +in {[}\ldots{]} and set in italics. Additional terms are explained in the glossary in \autoref{glossary}. Some important terms are: \begin{tabular}{|l|p{10cm}|} \hline