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

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

\let\tt\ttfamily
\let\bf\bfseries
MARCHE Claude's avatar
MARCHE Claude committed
9

MARCHE Claude's avatar
MARCHE Claude committed
10 11
\begin{document}

MARCHE Claude's avatar
doc  
MARCHE Claude committed
12 13 14 15 16 17 18 19 20
\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
21 22 23

\input{ide.tex}

MARCHE Claude's avatar
doc  
MARCHE Claude committed
24 25 26 27
\input{api.tex}

\input{manpages.tex}

MARCHE Claude's avatar
MARCHE Claude committed
28 29 30 31
\chapter{Complete API documentation}

\input{./apidoc.tex}

MARCHE Claude's avatar
MARCHE Claude committed
32 33 34
\bibliographystyle{abbrv}
\bibliography{manual}

MARCHE Claude's avatar
MARCHE Claude committed
35
\end{document}
MARCHE Claude's avatar
doc  
MARCHE Claude committed
36 37 38 39 40 41

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