% manual/src/version.tex.  Generated from version.tex.in by configure.
\def\ocamlversion{5.3}
