%%%% intro.tex

\maketitle


\newcommand{\cS}{{\cal S}}
\newcommand{\tcS}{{\cal \tilde S}}
\newcommand{\cE}{{\cal E}}
\newcommand{\cU}{{\cal U}}
\newcommand{\cF}{{\cal F}}
\newcommand{\dref}[1]{\refdefined{#1}}
% listings stuff

\definecolor{darkgreen}{rgb}{0.00,0.50,0.25}

\lstset{
  basicstyle=\small,
  language=java,
  frame=single,
  tabsize=2,
  showstringspaces=false,
  morecomment=[s][\color{darkgreen}]{/*}{*/},
  morecomment=[l][\color{darkgreen}]{//},
  morecomment=[s][\color{blue}]{/**}{*/},
  morestring=[d][\color{blue}]{"}
}

%\textcolor[rgb]{0.00,0.50,0.25}{}

\newcommand{\lstinclude}[1]{
  \lstset{title={\Large{File #1}}}
  \lstinputlisting{../examples/jmarkov/#1}
}



This document is a Reference Manual for jMarkov , jQBD, jMDP and jPhase. It is also available on HTML
format with the package, and it is available online for easier consultation.

