Attention une mise à jour du service Gitlab va être effectuée le mardi 30 novembre entre 17h30 et 18h00. 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. Cette mise à jour intermédiaire en version 14.0.12 nous permettra de rapidement pouvoir mettre à votre disposition une version plus récente.

Commit 4a72ebdc authored by Jean-Christophe Filliâtre's avatar Jean-Christophe Filliâtre
Browse files

fixed documentation (BTS #14759)

parent 8f3b82bd
...@@ -1190,7 +1190,7 @@ doc/bnf: doc/bnf.mll ...@@ -1190,7 +1190,7 @@ doc/bnf: doc/bnf.mll
$(OCAMLLEX) $< $(OCAMLLEX) $<
$(OCAMLOPT) -o $@ doc/bnf.ml $(OCAMLOPT) -o $@ doc/bnf.ml
DOC = api glossary ide intro library macros manpages coq_tactic \ DOC = api glossary ide intro library macros manpages install coq_tactic \
realizations manual starting syntax syntaxref technical version whyml realizations manual starting syntax syntaxref technical version whyml
DOCTEX = $(addprefix doc/, $(addsuffix .tex, $(DOC))) DOCTEX = $(addprefix doc/, $(addsuffix .tex, $(DOC)))
......
\chapter{The \why API} \chapter{The \why API}
\label{chap:api} \label{chap:api}\index{API}
This chapter is a tutorial for the users who want to link their own This chapter is a tutorial for the users who want to link their own
OCaml code with the \why library. We progressively introduce the way OCaml code with the \why library. We progressively introduce the way
......
...@@ -100,13 +100,13 @@ make ...@@ -100,13 +100,13 @@ make
The \why executables are then available in the subdirectory The \why executables are then available in the subdirectory
\texttt{bin/}. This directory can be added in your \texttt{PATH}. \texttt{bin/}. This directory can be added in your \texttt{PATH}.
\section{Installation of the \why Library} \section{Installation of the \why API}
\label{sec:installlib} \label{sec:installlib}\index{API}
By default, the \why library is not installed. It can be installed using By default, the \why API is not installed. It can be installed using
\begin{flushleft}\ttfamily \begin{flushleft}\ttfamily
make byte opt \\ make byte opt \\
make install\_lib \mbox{\rmfamily (as super-user)} make install-lib \mbox{\rmfamily (as super-user)}
\end{flushleft} \end{flushleft}
\section{Installation of External Provers} \section{Installation of External Provers}
......
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