starting.tex 434 Bytes
 MARCHE Claude committed Dec 14, 2010 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 \chapter{Getting Started} \label{chap:started} \section{Hello Proof} 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. %%% Local Variables: %%% mode: latex %%% TeX-PDF-mode: t %%% TeX-master: "manual" %%% End: