Skip to content

Commit

Permalink
Don't say that comments are set in italics
Browse files Browse the repository at this point in the history
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.
  • Loading branch information
henrikt-ma committed Apr 30, 2020
1 parent 6e793c3 commit b6875bd
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion chapters/introduction.tex
Expand Up @@ -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
Expand Down

0 comments on commit b6875bd

Please sign in to comment.