% -*- latex -*- ## #use "../ag_version.ml";; ## \documentclass[letterpaper,10pt]{article} \usepackage{ae} \usepackage{hyperref} \usepackage{hevea} \usepackage{verbatim} \usepackage{alltt} \usepackage[latin1]{inputenc} \usepackage[T1]{fontenc} \usepackage{url} \usepackage{booktabs} \title{Atdgen reference manual\\ release ##= version ##} \author{Martin Jambon\\ $\copyright$ 2010--2011 MyLife} %\date{October 19, 2072} \pagestyle{headings} % We suppress indentation at the beginning of each paragraph because paragraphs % are short and indentation is used heavily for bullet points and code examples \setlength{\parindent}{0mm} \setlength{\parskip}{2mm} % Thickness of top and bottom lines of tables (\toprule, \bottomrule) \setlength{\heavyrulewidth}{1.5pt} % Note: \toprule, \midrule and \bottomrule are really nice-looking but are not % understood by hevea. \usepackage{alltt} \usepackage{color} \newcommand\Clinenum[1]{#1} \definecolor{CconstructorColor}{rgb}{0.00,0.20,0.80} \newcommand\Cconstructor[1]{\textcolor{CconstructorColor}{#1}} \definecolor{CcommentColor}{rgb}{0.60,0.00,0.00} \newcommand\Ccomment[1]{\textcolor{CcommentColor}{#1}} \definecolor{CstringColor}{rgb}{0.67,0.27,0.27} \newcommand\Cstring[1]{\textcolor{CstringColor}{#1}} \newcommand\Cquotation[1]{#1} \definecolor{CalphakeywordColor}{rgb}{0.50,0.50,0.50} \newcommand\Calphakeyword[1]{\textcolor{CalphakeywordColor}{#1}} \newcommand\Cnonalphakeyword[1]{#1} \definecolor{CandColor}{rgb}{0.00,0.50,0.00} \newcommand\Cand[1]{\textcolor{CandColor}{#1}} \definecolor{CasColor}{rgb}{0.00,0.50,0.00} \newcommand\Cas[1]{\textcolor{CasColor}{#1}} \definecolor{CclassColor}{rgb}{0.00,0.50,0.00} \newcommand\Cclass[1]{\textcolor{CclassColor}{#1}} \definecolor{CconstraintColor}{rgb}{0.00,0.50,0.00} \newcommand\Cconstraint[1]{\textcolor{CconstraintColor}{#1}} \definecolor{CexceptionColor}{rgb}{0.00,0.50,0.00} \newcommand\Cexception[1]{\textcolor{CexceptionColor}{#1}} \definecolor{CexternalColor}{rgb}{0.00,0.50,0.00} \newcommand\Cexternal[1]{\textcolor{CexternalColor}{#1}} \definecolor{CfunColor}{rgb}{0.00,0.50,0.00} \newcommand\Cfun[1]{\textcolor{CfunColor}{#1}} \definecolor{CfunctionColor}{rgb}{0.00,0.50,0.00} \newcommand\Cfunction[1]{\textcolor{CfunctionColor}{#1}} \definecolor{CfunctorColor}{rgb}{0.00,0.50,0.00} \newcommand\Cfunctor[1]{\textcolor{CfunctorColor}{#1}} \definecolor{CinColor}{rgb}{0.00,0.50,0.00} \newcommand\Cin[1]{\textcolor{CinColor}{#1}} \definecolor{CinheritColor}{rgb}{0.00,0.50,0.00} \newcommand\Cinherit[1]{\textcolor{CinheritColor}{#1}} \definecolor{CinitializerColor}{rgb}{0.00,0.50,0.00} \newcommand\Cinitializer[1]{\textcolor{CinitializerColor}{#1}} \definecolor{CletColor}{rgb}{0.00,0.50,0.00} \newcommand\Clet[1]{\textcolor{CletColor}{#1}} \definecolor{CmethodColor}{rgb}{0.00,0.50,0.00} \newcommand\Cmethod[1]{\textcolor{CmethodColor}{#1}} %\definecolor{CmoduleColor}{rgb}{0.00,0.50,0.00} %\newcommand\Cmodule[1]{\textcolor{CmoduleColor}{#1}} \definecolor{CmutableColor}{rgb}{0.00,0.50,0.00} \newcommand\Cmutable[1]{\textcolor{CmutableColor}{#1}} \definecolor{CofColor}{rgb}{0.00,0.50,0.00} \newcommand\Cof[1]{\textcolor{CofColor}{#1}} \definecolor{CprivateColor}{rgb}{0.00,0.50,0.00} \newcommand\Cprivate[1]{\textcolor{CprivateColor}{#1}} \definecolor{CrecColor}{rgb}{0.00,0.50,0.00} \newcommand\Crec[1]{\textcolor{CrecColor}{#1}} \definecolor{CtypeColor}{rgb}{0.00,0.50,0.00} \newcommand\Ctype[1]{\textcolor{CtypeColor}{#1}} \definecolor{CvalColor}{rgb}{0.00,0.50,0.00} \newcommand\Cval[1]{\textcolor{CvalColor}{#1}} \definecolor{CvirtualColor}{rgb}{0.00,0.50,0.00} \newcommand\Cvirtual[1]{\textcolor{CvirtualColor}{#1}} \definecolor{CdoColor}{rgb}{0.47,0.67,0.67} \newcommand\Cdo[1]{\textcolor{CdoColor}{#1}} \definecolor{CdoneColor}{rgb}{0.47,0.67,0.67} \newcommand\Cdone[1]{\textcolor{CdoneColor}{#1}} \definecolor{CdowntoColor}{rgb}{0.47,0.67,0.67} \newcommand\Cdownto[1]{\textcolor{CdowntoColor}{#1}} \definecolor{CelseColor}{rgb}{0.47,0.67,0.67} \newcommand\Celse[1]{\textcolor{CelseColor}{#1}} \definecolor{CforColor}{rgb}{0.47,0.67,0.67} \newcommand\Cfor[1]{\textcolor{CforColor}{#1}} \definecolor{CifColor}{rgb}{0.47,0.67,0.67} \newcommand\Cif[1]{\textcolor{CifColor}{#1}} \definecolor{ClazyColor}{rgb}{0.47,0.67,0.67} \newcommand\Clazy[1]{\textcolor{ClazyColor}{#1}} \definecolor{CmatchColor}{rgb}{0.47,0.67,0.67} \newcommand\Cmatch[1]{\textcolor{CmatchColor}{#1}} \definecolor{CnewColor}{rgb}{0.47,0.67,0.67} \newcommand\Cnew[1]{\textcolor{CnewColor}{#1}} \definecolor{CorColor}{rgb}{0.47,0.67,0.67} \newcommand\Cor[1]{\textcolor{CorColor}{#1}} \definecolor{CthenColor}{rgb}{0.47,0.67,0.67} \newcommand\Cthen[1]{\textcolor{CthenColor}{#1}} \definecolor{CtoColor}{rgb}{0.47,0.67,0.67} \newcommand\Cto[1]{\textcolor{CtoColor}{#1}} \definecolor{CtryColor}{rgb}{0.47,0.67,0.67} \newcommand\Ctry[1]{\textcolor{CtryColor}{#1}} \definecolor{CwhenColor}{rgb}{0.47,0.67,0.67} \newcommand\Cwhen[1]{\textcolor{CwhenColor}{#1}} \definecolor{CwhileColor}{rgb}{0.47,0.67,0.67} \newcommand\Cwhile[1]{\textcolor{CwhileColor}{#1}} \definecolor{CwithColor}{rgb}{0.47,0.67,0.67} \newcommand\Cwith[1]{\textcolor{CwithColor}{#1}} \definecolor{CassertColor}{rgb}{0.80,0.60,0.00} \newcommand\Cassert[1]{\textcolor{CassertColor}{#1}} \definecolor{CincludeColor}{rgb}{0.80,0.60,0.00} \newcommand\Cinclude[1]{\textcolor{CincludeColor}{#1}} \definecolor{CopenColor}{rgb}{0.80,0.60,0.00} \newcommand\Copen[1]{\textcolor{CopenColor}{#1}} \definecolor{CbeginColor}{rgb}{0.60,0.00,0.60} \newcommand\Cbegin[1]{\textcolor{CbeginColor}{#1}} \definecolor{CendColor}{rgb}{0.60,0.00,0.60} \newcommand\Cend[1]{\textcolor{CendColor}{#1}} \definecolor{CobjectColor}{rgb}{0.60,0.00,0.60} \newcommand\Cobject[1]{\textcolor{CobjectColor}{#1}} \definecolor{CsigColor}{rgb}{0.60,0.00,0.60} \newcommand\Csig[1]{\textcolor{CsigColor}{#1}} \definecolor{CstructColor}{rgb}{0.60,0.00,0.60} \newcommand\Cstruct[1]{\textcolor{CstructColor}{#1}} \definecolor{CraiseColor}{rgb}{1.00,0.00,0.00} \newcommand\Craise[1]{\textcolor{CraiseColor}{#1}} \definecolor{CasrColor}{rgb}{0.50,0.50,0.50} \newcommand\Casr[1]{\textcolor{CasrColor}{#1}} \definecolor{ClandColor}{rgb}{0.50,0.50,0.50} \newcommand\Cland[1]{\textcolor{ClandColor}{#1}} \definecolor{ClorColor}{rgb}{0.50,0.50,0.50} \newcommand\Clor[1]{\textcolor{ClorColor}{#1}} \definecolor{ClslColor}{rgb}{0.50,0.50,0.50} \newcommand\Clsl[1]{\textcolor{ClslColor}{#1}} \definecolor{ClsrColor}{rgb}{0.50,0.50,0.50} \newcommand\Clsr[1]{\textcolor{ClsrColor}{#1}} \definecolor{ClxorColor}{rgb}{0.50,0.50,0.50} \newcommand\Clxor[1]{\textcolor{ClxorColor}{#1}} \definecolor{CmodColor}{rgb}{0.50,0.50,0.50} \newcommand\Cmod[1]{\textcolor{CmodColor}{#1}} \newcommand\Cfalse[1]{#1} \newcommand\Ctrue[1]{#1} \definecolor{CbarColor}{rgb}{0.47,0.67,0.67} \newcommand\Cbar[1]{\textcolor{CbarColor}{#1}} % Exception: \newcommand\Cmodule[1]{#1} \input{atd-annot.tex} \newcommand\bs{$\mathtt\backslash$} \begin{document} \maketitle \tableofcontents \include{atdgen-body} \end{document}