manpages.tex 394 Bytes
Newer Older
MARCHE Claude's avatar
doc    
MARCHE Claude committed
1
2
3
4
\chapter{Reference manuals for the Why3 tools}

\section{Compilation, Installation}

MARCHE Claude's avatar
MARCHE Claude committed
5
\section{Installation of external provers}
MARCHE Claude's avatar
doc    
MARCHE Claude committed
6
7
8
9
10
11
12

\section{The \texttt{why3} command-line tool}

\section{The \texttt{why3ml} tool}

\section{The \texttt{why3ide} tool}

MARCHE Claude's avatar
MARCHE Claude committed
13
14
15
\section{The \texttt{why.conf} configuration file}


MARCHE Claude's avatar
doc    
MARCHE Claude committed
16
17
18
19
20
21

%%% Local Variables:
%%% mode: latex
%%% TeX-PDF-mode: t
%%% TeX-master: "manual"
%%% End: