ide.tex 535 Bytes
Newer Older
MARCHE Claude's avatar
MARCHE Claude committed
1 2 3
\chapter{Tools}
\label{chap:tools}

MARCHE Claude's avatar
MARCHE Claude committed
4
\section{\why command line tool}
MARCHE Claude's avatar
MARCHE Claude committed
5 6 7

\section{IDE}

MARCHE Claude's avatar
MARCHE Claude committed
8 9 10 11
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.

MARCHE Claude's avatar
MARCHE Claude committed
12 13 14 15 16 17 18
\section{Other tools}

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

MARCHE Claude's avatar
doc  
MARCHE Claude committed
19 20 21 22 23 24 25


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