Attention une mise à jour du service Gitlab va être effectuée le mardi 14 décembre entre 13h30 et 14h00. Cette mise à jour va générer une interruption du service dont nous ne maîtrisons pas complètement la durée mais qui ne devrait pas excéder quelques minutes.

Commit 4cc8890c authored by Guillaume Melquiond's avatar Guillaume Melquiond
Browse files

Fix some typos in the manual.

parent 6d53ed83
......@@ -5,8 +5,8 @@
In short, installation proceeds as follows.
\begin{flushleft}\ttfamily
./configure
make
./configure\\
make\\
make install \mbox{\rmfamily (as super-user)}
\end{flushleft}
......
......@@ -54,8 +54,8 @@ defined in it.
\begin{description}
\item[Int] provides the basic operations \verb|+|, \verb|-| and
\verb|*|; and comparison operators \verb|<|, \verb|>|, \verb|>=| and
\item[Int] provides the basic operations \verb|+|, \verb|-|, and
\verb|*|, and the comparison operators \verb|<|, \verb|>|, \verb|>=|, and
\verb|<=|.
\item[Abs] provides the absolute value written as \verb|abs|.
......@@ -81,7 +81,7 @@ See the on-line web documentation for the other theories defined in the
comparison operators.
\item[RealInfix] provides basic operations with alternative syntax \verb|+.|,
\verb|-.|, \verb|*.|, \verb|/.|, \verb|<.|, \verb|>.|, \verb|<=.| and \verb|>=.|, to
\verb|-.|, \verb|*.|, \verb|/.|, \verb|<.|, \verb|>.|, \verb|<=.|, and \verb|>=.|, to
allow simultaneous use of integer and real operators.
\item[Abs] provides absolute value written as \verb|abs|.
......@@ -91,7 +91,7 @@ See the on-line web documentation for the other theories defined in the
\item[FromInt] provides the operator \verb|from_int| to convert an integer to a real.
\item[Truncate] provides conversion operators from real to integers:
\verb|truncate| rounds to 0, \verb|floor| rounds down and
\verb|truncate| rounds to 0, \verb|floor| rounds down, and
\verb|ceil| rounds up.
\item[Square] provides operators \verb|sqr| and \verb|sqrt| for square and square root.
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment