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

MARCHE Claude's avatar
MARCHE Claude committed
3 4 5
%\usepackage[T1]{fontenc}
\usepackage{url}

MARCHE Claude's avatar
MARCHE Claude committed
6 7
\begin{document}

MARCHE Claude's avatar
doc  
MARCHE Claude committed
8 9 10 11 12 13 14 15 16
\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
17 18 19

\input{ide.tex}

MARCHE Claude's avatar
doc  
MARCHE Claude committed
20 21 22 23
\input{api.tex}

\input{manpages.tex}

MARCHE Claude's avatar
MARCHE Claude committed
24
\end{document}
MARCHE Claude's avatar
doc  
MARCHE Claude committed
25 26 27 28 29 30

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