This is pdfTeXk, Version 3.141592-1.40.5 (Web2C 7.5.6) (format=latex 2009.7.30)  30 JUL 2009 15:35
entering extended mode
 %&-line parsing enabled.
**doc.tex
(./doc.tex
LaTeX2e <2005/12/01>
Babel <v3.8h> and hyphenation patterns for english, usenglishmax, dumylang, noh
yphenation, arabic, basque, bulgarian, coptic, welsh, czech, slovak, german, ng
erman, danish, esperanto, spanish, catalan, galician, estonian, farsi, finnish,
 french, greek, monogreek, ancientgreek, croatian, hungarian, interlingua, ibyc
us, indonesian, icelandic, italian, latin, mongolian, dutch, norsk, polish, por
tuguese, pinyin, romanian, russian, slovenian, uppersorbian, serbian, swedish, 
turkish, ukenglish, ukrainian, loaded.
(/usr/share/texmf-texlive/tex/latex/base/article.cls
Document Class: article 2005/09/16 v1.4f Standard LaTeX document class
(/usr/share/texmf-texlive/tex/latex/base/size11.clo
File: size11.clo 2005/09/16 v1.4f Standard LaTeX file (size option)
)
\c@part=\count79
\c@section=\count80
\c@subsection=\count81
\c@subsubsection=\count82
\c@paragraph=\count83
\c@subparagraph=\count84
\c@figure=\count85
\c@table=\count86
\abovecaptionskip=\skip41
\belowcaptionskip=\skip42
\bibindent=\dimen102
)
(/usr/share/texmf-texlive/tex/latex/base/inputenc.sty
Package: inputenc 2006/05/05 v1.1b Input encoding file
\inpenc@prehook=\toks14
\inpenc@posthook=\toks15

(/usr/share/texmf-texlive/tex/latex/base/latin1.def
File: latin1.def 2006/05/05 v1.1b Input encoding file
))
(/usr/share/texmf-texlive/tex/latex/base/fontenc.sty
Package: fontenc 2005/09/27 v1.99g Standard LaTeX package

(/usr/share/texmf-texlive/tex/latex/base/t1enc.def
File: t1enc.def 2005/09/27 v1.99g Standard LaTeX file
LaTeX Font Info:    Redeclaring font encoding T1 on input line 43.
))
(/usr/share/texmf-texlive/tex/latex/preprint/fullpage.sty
Package: fullpage 1999/02/23 1.1 (PWD)
\FP@margin=\skip43
)
(/usr/share/texmf-texlive/tex/latex/ltxmisc/url.sty
\Urlmuskip=\muskip10
Package: url 2006/04/12  ver 3.3  Verb mode for urls, etc.
) (./ocamldoc.sty
Package: ocamldoc 2001/12/04 v1.0 ocamldoc support
)
(./doc.aux)
\openout1 = `doc.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 7.
LaTeX Font Info:    ... okay on input line 7.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 7.
LaTeX Font Info:    ... okay on input line 7.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 7.
LaTeX Font Info:    ... okay on input line 7.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 7.
LaTeX Font Info:    ... okay on input line 7.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 7.
LaTeX Font Info:    ... okay on input line 7.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 7.
LaTeX Font Info:    ... okay on input line 7.
 (./doc.toc
LaTeX Font Info:    Try loading font information for T1+cmtt on input line 1.
 (/usr/share/texmf-texlive/tex/latex/base/t1cmtt.fd
File: t1cmtt.fd 1999/05/25 v2.5h Standard LaTeX font definitions
))
\tf@toc=\write3
\openout3 = `doc.toc'.


[1

] [2] [3] [4] [5] [6]
LaTeX Font Info:    Try loading font information for OMS+cmr on input line 866.

 (/usr/share/texmf-texlive/tex/latex/base/omscmr.fd
File: omscmr.fd 1999/05/25 v2.5h Standard LaTeX font definitions
)
LaTeX Font Info:    Font shape `OMS/cmr/m/n' in size <10.95> not available
(Font)              Font shape `OMS/cmsy/m/n' tried instead on input line 866.

[7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21]
[22] [23]
Overfull \hbox (22.54814pt too wide) in paragraph at lines 3073--3074
[]\T1/cmtt/m/n/10.95 functor (S : Strat.T) -> Nopres_intf.T  with module Strate
gy = S and type el = float 
 []


Overfull \hbox (16.88977pt too wide) in paragraph at lines 3091--3092
[]\T1/cmtt/m/n/10.95 functor (S : Strat.T) -> Nopres_intf.T  with module Strate
gy = S and type el = bool 
 []


Overfull \hbox (5.57303pt too wide) in paragraph at lines 3127--3128
[]\T1/cmtt/m/n/10.95 functor (S : Strat.T) -> Nopres_intf.Buffer  with module S
trategy = S and type el
 []

LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <10.95> on input line 3132.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <8> on input line 3132.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <6> on input line 3132.
[24] (./doc.aux)

LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right.

 ) 
Here is how much of TeX's memory you used:
 880 strings out of 94074
 16937 string characters out of 1165630
 55121 words of memory out of 3000000
 4210 multiletter control sequences out of 10000+50000
 10790 words of font info for 30 fonts, out of 2500000 for 2000
 632 hyphenation exceptions out of 8191
 21i,5n,20p,241b,300s stack positions out of 5000i,500n,6000p,200000b,50000s

Output written on doc.dvi (24 pages, 47412 bytes).