Skip to content

Commit

Permalink
Fix missing cases of grammar inline code formatting
Browse files Browse the repository at this point in the history
  • Loading branch information
henrikt-ma committed Nov 22, 2021
1 parent 940dfca commit 31cf6cd
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions chapters/syntax.tex
Expand Up @@ -57,11 +57,11 @@ \section{Lexical conventions}\label{lexical-conventions}
Modelica uses the same comment syntax as C++ and Java (i.e., \lstinline!//! signals the start of a line comment and \lstinline!/* $\ldots$ */! is a multi-line comment); comments may contain any Unicode character.
Modelica also has structured comments in the form of annotations and string comments.
\item
Each description-string or string in annotations (= \lstinline[language=grammar]!STRING! with production annotation-clause in the grammar) may contain any member of the Unicode character set.
Each \lstinline[language=grammar]!description-string! or string in annotations (that is, a \lstinline[language=grammar]!STRING! with production \lstinline[language=grammar]!annotation-clause! in the grammar) may contain any member of the Unicode character set.
All other strings have to contain only the subset of Unicode characters identical with the 7-bit US-ASCII character set.
\begin{nonnormative}
As a consequence, operators like `\lstinline!>!' or `\lstinline!<!', and external functions only operate on ASCII strings and not on Unicode-strings.
Within a description-string the tags \lstinline!<HTML>! and \lstinline!</HTML>! or \lstinline!<html>! and \lstinline!</html>! define optionally begin and end of content that is HTML encoded.
Within a \lstinline[language=grammar]!description-string! the tags \lstinline!<HTML>! and \lstinline!</HTML>! or \lstinline!<html>! and \lstinline!</html>! define optionally begin and end of content that is HTML encoded.
\end{nonnormative}
\item
Boldface denotes keywords of the Modelica language.
Expand Down

0 comments on commit 31cf6cd

Please sign in to comment.