Use annotation-clause instead (as decided).

Closes modelica#2435

chapters/syntax.tex

@@ -55,7 +55,7 @@ \section{Lexical conventions}\doublelabel{lexical-conventions}
   has structured comments in the form of annotations and string
   comments.
 \item
-  Each description-string or string in annotations (= STRING with production annotation-comment in the
+  Each description-string or string in annotations (= STRING with production annotation-clause in the
   grammar) may contain any member of the Unicode character set. All
   other strings have to contain only the sub-set of Unicode characters
   identical with the 7-bit US-ASCII character set. {[}\emph{As a
@@ -123,8 +123,8 @@ \subsection{Class Definition}\doublelabel{class-definition}
      algorithm-section
    }
    [ external [ language-specification ]
-   [ external-function-call ] [ annotation-comment ] ";" ]
-   [ annotation-comment ";" ]
+   [ external-function-call ] [ annotation-clause ] ";" ]
+   [ annotation-clause ";" ]
 
 language-specification :
    STRING
@@ -156,7 +156,7 @@ \subsection{Class Definition}\doublelabel{class-definition}
 \subsection{Extends}\doublelabel{extends}
 \begin{lstlisting}[language=grammar]
 extends-clause :
-   extends type-specifier [ class-modification ] [ annotation-comment ]
+   extends type-specifier [ class-modification ] [ annotation-clause ]
 
 constraining-clause :
    constrainedby type-specifier [ class-modification ]
@@ -409,11 +409,11 @@ \subsection{Expressions}\doublelabel{expressions1}
    ":" | expression
 
 description :
-   description-string [ annotation-comment ]
+   description-string [ annotation-clause ]
 
 description-string :
 [ STRING { "+" STRING } ]
 
-annotation-comment :
+annotation-clause :
    annotation class-modification
 \end{lstlisting}