l4/pkg/ocaml/ocaml/contrib/ocamldoc/ocamldoc.hva

   1 \usepackage{alltt}
   2 \newenvironment{ocamldoccode}{\begin{alltt}}{\end{alltt}}
   3 \newenvironment{ocamldocdescription}{\begin{quote}}{\end{quote}}
   4 \newenvironment{ocamldoccomment}{\begin{quote}}{\end{quote}}
   5 \newcommand\textbar{|}
   6 \newcommand\textbackslash{\begin{rawhtml}\\end{rawhtml}}
   7 \newcommand\textasciicircum{\^{}}
   8 \newcommand\sharp{#}
   9
  10 \let\ocamldocvspace\vspace
  11 \newenvironment{ocamldocindent}{\list{}{}\item\relax}{\endlist}
  12 \newenvironment{ocamldocsigend}
  13      {\noindent\quad\texttt{sig}\ocamldocindent}
  14      {\endocamldocindent\vskip -\lastskip
  15       \noindent\quad\texttt{end}\medskip}
  16 \newenvironment{ocamldocobjectend}
  17      {\noindent\quad\texttt{object}\ocamldocindent}
  18      {\endocamldocindent\vskip -\lastskip
  19       \noindent\quad\texttt{end}\medskip}