manual.tex 371 Bytes
Newer Older
MARCHE Claude's avatar
MARCHE Claude committed
1 2 3 4
\documentclass[a4paper]{memoir}

\begin{document}

MARCHE Claude's avatar
doc  
MARCHE Claude committed
5 6 7 8 9 10 11 12 13
\title{Why3 manual}
\author{F. Bobot \and J.-C. Filli\^atre \and C. March\'e \and A. Paskevich}
\maketitle

\cleardoublepage

\tableofcontents

\input{syntax.tex}
MARCHE Claude's avatar
MARCHE Claude committed
14 15 16

\input{ide.tex}

MARCHE Claude's avatar
doc  
MARCHE Claude committed
17 18 19 20
\input{api.tex}

\input{manpages.tex}

MARCHE Claude's avatar
MARCHE Claude committed
21
\end{document}
MARCHE Claude's avatar
doc  
MARCHE Claude committed
22 23 24 25 26 27

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