\chapter{Tools}
\label{chap:tools}

\section{\why command line tool}

\section{IDE}

The graphical interface allows to browse into a file or a set of
files, and check the validity of goals with external provers, in a
friendly way. This section presents the basic use of this GUI. Please refer to Section~\ref{sec:ideref} for a more complete description.

\section{Other tools}

\begin{itemize}
\item why-config
\item why-bench
\end{itemize}



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