%% -*- mode: LaTeX -*-
%%
%% Copyright (c) 2002 University of Utah and the Flux Group.
%% All rights reserved.
%% This file is part of the JanosVM documentation.
%% 
%% Permission to use, copy, modify, distribute, and sell this
%% documentation for any purpose is hereby granted without fee,
%% provided that the above copyright notice(s) appear in all copies.
%%

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

\ifwww
  \usepackage[tex4ht,html,2]{tex4ht}
\fi
\usepackage{fancyvrb}
\usepackage{fullpage}
\usepackage{paralist}
%\usepackage{rcs}
\usepackage{url}
%% The following must come *after* the `\urldef's:
%% \usepackage{hyperref}

%% Get the declarations determined by the Knit `configure' script.
%% XXX Fix for JanosVM!!! \input{config}
\newcommand{\jvmversion}{0.6}
\newcommand{\jvmdate}{March 17, 2002}

%% Use the Times, Helvetica, and Computer Modern Typewriter typefaces.
%% Also, make `b' be the default for bold, rather than `bx'.
\renewcommand{\rmdefault}{ptm}
\renewcommand{\sfdefault}{phv}
\renewcommand{\ttdefault}{cmtt}
\renewcommand{\bfdefault}{b}

%% Define some JanosVM-related URLs.
\urldef{\fluxurl}\url{http://www.cs.utah.edu/flux/}
\urldef{\jvmurl}\url{http://www.cs.utah.edu/flux/janos/janosvm.html}
% These would leave us without `mailto:'.
\newcommand{\jvmemail}%
  {\href{mailto:janos-discuss@flux.cs.utah.edu}%
        {\texttt{janos-discuss@flux.cs.utah.edu}}}
\newcommand{\jvmbugsemail}%
  {\href{mailto:janos-discuss@flux.cs.utah.edu}%
        {\texttt{janos-discuss@flux.cs.utah.edu}}}
\urldef{\oskiturl}\url{http://www.cs.utah.edu/flux/oskit/}
\urldef{\janosurl}\url{http://www.cs.utah.edu/flux/janos/}

%% This has to come *after* the `\urldef's.
%%
%% Old versions of `hyperref' (6.56) are known to fail.
%% Newer versions (6.69c) sort of work, but not fully.  (Bad autoref names.)
%% Version 6.71 is known to work, so we ask for that.
%%
\usepackage{hyperref}[2000/10/04 v6.71]
%% XXX --- `\usepackage{thumbpdf}' doesn't need to come after?
\ifpdf
  \usepackage[pdfmark]{thumbpdf}
\fi

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

\title{\JanosVMplain\ User's Manual and Tutorial \\
       Version \jvmversion}

\author{Flux Research Group \\
        School of Computing \\
        University of Utah \\[2ex]
        \fluxurl \\
        %% Don't advertise an author contact address.  Putting an email address
        %% here would encourage users to send bug reports directly to the
        %% authors instead of to `\knitbugsemail'.
        %%
        %% \knitemail
        }

\date{\jvmdate}

\makeatletter
%% The `begin' and `end' commands are hooks that we use when producing the WWW
%% version.  See `tex4ht.cfg'.
\gdef\@copyrightnotice@begin{}
\gdef\@copyrightnotice@end{}
\gdef\@copyrightnotice{}
\def\copyrightnoticebegin#1{\gdef\@copyrightnotice@begin{#1}}
\def\copyrightnoticeend#1{\gdef\@copyrightnotice@end{#1}}
\def\copyrightnotice#1{\gdef\@copyrightnotice{#1}}
\makeatother

\copyrightnotice{%
  Copyright \copyright{} 2002 The University of Utah.
  %
  Permission is granted to make and distribute verbatim copies of this document
  provided the copyright notice and this permission notice are preserved on all
  copies.
  %
  Modified versions of this document may be copied and distributed with the
  additional condition that the entire resulting derived work is distributed
  under the terms of a permission notice identical to this one.%
  }

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

%% XXX --- Fix problem with `fancyvrb' environments in which `firstline' and
%% `lastline' are the same.  Fix by Denis Girou <Denis.Girou@idris.fr>.
%%
\makeatletter
\def\FV@FindStopNum{%
%% DG/SR modification begin - Feb. 23, 1999 - For lastline=firstline case
%%  \ifnum\FancyVerbStopNum=\FV@CodeLineNo
  \ifnum\FancyVerbStopNum>\FV@CodeLineNo
  \else
%% DG/SR modification end
    \let\FV@FindStartStop\relax
    \ifeof\FV@InFile\else
      \immediate\closein\FV@InFile
    \fi
  \fi
%% DG/SR modification begin - Feb. 23, 1999 - For lastline=firstline case
%%  \FV@@PreProcessLine}
  \ifnum\FancyVerbStopNum<\FV@CodeLineNo
  \else
    \FV@@PreProcessLine
  \fi}
\makeatother

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

%% End of file.

