Commit b206453e authored by MARCHE Claude's avatar MARCHE Claude

supp ref to chap:apidoc

parent 6e8bbf9e
......@@ -5,8 +5,8 @@ This chapter is a tutorial for the users who wants to link their own
OCaml code with the Why3 library. We progressively introduce the way
one can use the library to build terms, formulas, theories, proof
tasks, call external provers on tasks, and apply transformations on
tasks. The complete documentation for API calls is given in
Chapter~\ref{chap:apidoc}.
tasks. The complete documentation for API calls is given
[TODO in Chapter~ref{chap:apidoc}.]
We assume the reader has a fair knowledge of the OCaml
language. Notice also that the Why3 library is installed: see
......
......@@ -55,7 +55,7 @@ Part 2 provides:
\item In Chapter~\ref{chap:manpages}, the technical manual pages for the
tools of the platform. All tool options, and all the configuration
files are described in details there.
\item In Chapter~\ref{chap:apidoc}, the technical documentation of the API.
% \item In Chapter~\ref{chap:apidoc}, the technical documentation of the API.
\end{itemize}
......
......@@ -171,10 +171,9 @@ used to provide other informations :
\item TODO
\end{itemize}
% TODO (pour plus tard)
% \section{The \texttt{why3ml} tool}
[TO BE COMPLETED LATER]
% [TO BE COMPLETED LATER]
\section{The \texttt{why3ide} GUI}
\label{sec:ideref}
......
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