diff options
Diffstat (limited to 'doc/refman/RefMan-uti.tex')
| -rw-r--r-- | doc/refman/RefMan-uti.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/refman/RefMan-uti.tex b/doc/refman/RefMan-uti.tex index 48e2df19d..76e4efd60 100644 --- a/doc/refman/RefMan-uti.tex +++ b/doc/refman/RefMan-uti.tex @@ -68,7 +68,7 @@ but also at the command {\tt Declare ML Module}. Dependencies of \ocaml\ modules are computed by looking at \verb!open! commands and the dot notation {\em module.value}. However, -this is done approximatively and you are advised to use {\tt ocamldep} +this is done approximately and you are advised to use {\tt ocamldep} instead for the \ocaml\ modules dependencies. See the man page of {\tt coqdep} for more details and options. @@ -103,7 +103,7 @@ invocation While customizing a project file, mind the following requirements: \begin{itemize} \item {\Coq} files must end in \texttt{.v}, {\ocaml} modules in - \texttt{.ml4} if they require camlp preproccessing (and in + \texttt{.ml4} if they require camlp preprocessing (and in \texttt{.ml} otherwise), {\ocaml} module signatures, library description and packing files respectively in \texttt{.mli}, \texttt{.mllib} and \texttt{.mlpack}. |