omstd20.tex

\documentclass{report}
\usepackage{xspace}
\usepackage{url}
\usepackage{listings}
\lstset{language=XML,columns=fullflexible,basicstyle=\sf}
\usepackage{paralist}
\usepackage{graphicx}
\usepackage{a4wide}
% \usepackage[style=alphabetic,backend=bibtex]{biblatex}
% \addbibresource{omstd.bib}
%\makeatletter\def\blx@maxline{77}\makeatother

\def\textquote#1{``#1''}

\def\OM{OpenMath\xspace}
\def\XML{XML\xspace}
\def\acronym#1{\textsf{#1}}
\def\application#1{\mathbf{application}(#1)}
\def\binding#1{\mathbf{binding}(#1)}
\def\foreign#1{\mathbf{foreign}(#1)}
\def\attribution#1{\mathbf{attribution}(#1)}
\def\error#1{\mathbf{error}(#1)}

\title{The \OM2.0  Standard (created from \LaTeX)}
\author{The \OM Society \\ 
S. Buswell, 
O. Caprotti,
D. P. Carlisle,
M. C. Dewar,
M. G\"aetano,
M. Kohlhase}
\date{June 2004}
\begin{document}
\maketitle
%Copyright 2000-2004, The OpenMath Society

\input{abstract}
\setcounter{tocdepth}{3}
\tableofcontents

\input{intro}
\input{omobj}
\input{encodings}
\input{cds}
\input{compliance}
\input{appendix}

\bibliographystyle{alpha}
\bibliography{omstd}

%\printbibliography
\end{document}

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