[e-acsl:refman] mark logic function and predicate applications as implemented

src/plugins/e-acsl/doc/refman/changes_modern.tex

@@ -151,7 +151,11 @@ in \lstinline|\\at|}
 \section{Changes in \eacsl Implementation}
 
 % Next version
-%\subsection*{Version \eacslplugincodename-\eacslpluginversion}
+\subsection*{Version \eacslplugincodename-\eacslpluginversion}
+\begin{itemize}
+\item \changeinsection{expressions}{mark logic function and predicate
+  applications as implemented}
+\end{itemize}
 
 \subsection*{Version Titanium-22}
 

src/plugins/e-acsl/doc/refman/predicate.tex

@@ -3,7 +3,7 @@
        \
   pred ::= "\true" | "\false" ;
        | term (rel-op term)+ ; comparisons
-       | { id "(" term ("," term)* ")" } ; predicate application
+       | id "(" term ("," term)* ")" ; predicate application
        | "(" pred ")" ; parentheses
        | [ pred "&&" pred ] ; conjunction
        | [ pred "||" pred ] ; disjunction

src/plugins/e-acsl/doc/refman/term.tex

@@ -26,7 +26,7 @@
        | { "{" term "\with" "."id "=" term "}" } ; field functional modifier
        | term "->" id ;
        | [ "(" type-expr ")" term ] ; cast
-       | { id "(" term ("," term)* ")" } ; function application
+       | id "(" term ("," term)* ")" ; function application
        | "(" term ")" ; parentheses
        | [ term "?" term ":" term ] ; ternary condition
        | "\let" id "=" term ";" term ; local binding