%% -*- mode: LaTeX -*-
%%
%% Copyright (c) 2002 University of Utah and the Flux Group.
%% All rights reserved.
%% @JANOSVM_DOC_LICENSE@
%%

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\frontmatter
\maketitle
\tableofcontents
%\listoffigures
%\listoftables

\include{preface}

\mainmatter
\include{introduction}
\include{overview}
\include{install}
\include{tutorial}
\include{use}
\include{jsihey-use}
\include{jos-substrate}
%\include{ex-ex}
%\include{jsi}
%\include{debugging}
%\include{oskit}

\backmatter
%\bibliographystyle{plain}
%\addcontentsline{toc}{chapter}{\refname}%
%\bibliography{bibliography}

\bibliographystyle{plain}
\bibliography{janosvm}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%% End of file.

