diff --git a/doc/syntax/syntax.pdf b/doc/syntax/syntax.pdf index b67a4c9b..0d443efe 100644 Binary files a/doc/syntax/syntax.pdf and b/doc/syntax/syntax.pdf differ diff --git a/doc/syntax/syntax.tex b/doc/syntax/syntax.tex index caae24fb..c1e28b1e 100644 --- a/doc/syntax/syntax.tex +++ b/doc/syntax/syntax.tex @@ -971,34 +971,34 @@ nombre pour foo dans ... de ... \\ Extremum& \vspace*{-1.75em} -\begin{minted}{catala_en} +\begin{minted}[fontsize=\scriptsize]{catala_en} ```catala -maximum integer for ... +maximum integer initial ... for ... in ... ``` \end{minted} \vspace*{-1.75em} & \vspace*{-1.75em} -\begin{minted}{catala_fr} +\begin{minted}[fontsize=\scriptsize]{catala_fr} ```catala -maximum entier pour ... +maximum entier initial ... pour ... dans ... ``` \end{minted} \vspace*{-1.75em} \\ Arg-extremum& \vspace*{-1.75em} -\begin{minted}{catala_en} +\begin{minted}[fontsize=\tiny]{catala_en} ```catala -content minimum decimal for ... +content minimum decimal initial ... for ... in ... ``` \end{minted} \vspace*{-1.75em} & \vspace*{-1.75em} -\begin{minted}{catala_fr} +\begin{minted}[fontsize=\scriptsize]{catala_fr} ```catala -contenu minimum décimal pour ... +contenu minimum décimal initial ... pour ... dans ... ``` \end{minted} \vspace*{-1.75em}