ide.tex 535 Bytes
 MARCHE Claude committed Dec 13, 2010 1 2 3 \chapter{Tools} \label{chap:tools}  MARCHE Claude committed Jul 02, 2011 4 \section{\why command line tool}  MARCHE Claude committed Sep 03, 2010 5 6 7  \section{IDE}  MARCHE Claude committed Dec 13, 2010 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 committed Dec 13, 2010 12 13 14 15 16 17 18 \section{Other tools} \begin{itemize} \item why-config \item why-bench \end{itemize}  MARCHE Claude committed Sep 06, 2010 19 20 21 22 23 24 25  %%% Local Variables: %%% mode: latex %%% TeX-PDF-mode: t %%% TeX-master: "manual" %%% End: