%chaos rules:

\usepackage{listings}

\usepackage{latexsym}

\usepackage{epsfig}

\usepackage{makeidx}  % allows for indexgeneration

\usepackage{color}

\usepackage{eurosym}

\usepackage{scrpage2}

\usepackage{amsmath,amssymb,amstext}

\usepackage{capt-of}

\usepackage{mathrsfs}

\usepackage{multirow}                   % tall tables

\usepackage{amsfonts}                   % Mathematical symbols

\usepackage{graphicx}

\usepackage{mathpazo}

%\newif\ifpdf

%\ifx\pdfoutput\undefined

%    \pdffalse           % we are not running PDFLaTeX

%\else

%    \pdfoutput=1        % we are running PDFLaTeX

%    \pdftrue

%\fi

%%----------------------------------------------------------------------

%\ifpdf

    \usepackage[pdftex,

        colorlinks=false,

        pagebackref,

        pdfpagemode=None,

        bookmarksopen=true]{hyperref}

%\else

%    \usepackage[

%        colorlinks=false,

%        urlcolor=rltblue,               % \href{...}{...}

%        anchorcolor=rltbrightblue,

%        filecolor=rltgreen,             % \href*{...}

%        linkcolor=rltred,               % \ref{...} and \pageref{...}

%        menucolor=webdarkblue,

%        citecolor=webgreen]{hyperref}

%\fi

\bibliographystyle{alpha}

%AK macros for labelling and referencing use cases, user requirements etc

\newcommand{\preAuth}{AK}

\newcommand{\preUC}{\preAuth:UC}

\newcommand{\preUR}{\preAuth:UR}

\newtheorem{usecase}{UC}[section]

\newtheorem{userreq}{UR}[section]

\newtheorem{softreq}{SR}[section]

\newcommand{\refUC}[1]{UC \ref{\preUC:#1}}

\newcommand{\refUR}[1]{UR \ref{\preUR:#1}}

\newcommand{\refSR}[1]{SR \ref{#1}}

%\newcommand{\UC} below could replace \newtheorem{UC} in common.tex

%\newcommand{\UC}[2]{\begin{usecase}\bf#1\label{\preUC:#2}\end{usecase}}

%\newcommand{\UR}[2]{\begin{userreq}\bf#1\label{\preUR:#2}\end{userreq}}

%...the latter two are already used differently

%others

\def\zB{z.B.}

\def\dah{d.h.}

%\newcommand {\url}[1]{\tt#1}

\lstdefinelanguage{ISACXML}

  {morekeywords={NODE,ID,CONTENTREF,NODECONTENT,STRING,STRINGLIST,META,GIVEN,WHERE,FIND,MATHML,ISA,

                 RELATE,THEORY,METHODS,EXPLANATIONS,CAS,EVALPRECOND,DESCRIPTION,FORMALIZATION,VARIANT,

                 TERMLIST,PROBLEM,METHOD,KEY,SPECIFICATION,HIDE,DETAIL,EXAMPLE},

  sensitive=false

}

 \lstset{xleftmargin = 10mm,

         framexleftmargin = 10mm,

         frame=lines,

         emph=[2]{_init,zero_target},

         emphstyle=\textit,

         numbers=left,

         numberstyle=\tiny \color{mygray},

         %basicstyle=\small,

         basicstyle=\scriptsize,

         keywordstyle=\bf\color{blue},

         %directivestyle=\color{darkblue},

         %indexstyle=\color{red},

         commentstyle=\color{darkgreen},

         index={6},

         escapeinside={(*@}{@*)},

         indexstyle=\color{red}

         }

\newcommand {\kommentar}[1]{\marginpar{\begin{flushright}\tiny#1\end{flushright}}}

\newcommand {\frage}[1]{

  \marginpar{

    \begin{tabular}{p{5mm} p{2cm}}

        \begin{flushleft}

          {\large?} 

        \end{flushleft}

        &

        \begin{flushright}

          \tiny #1

        \end{flushright}  

        \\ 

      \end{tabular}

    }

  }

\newcommand {\bigquest}{\marginpar{\huge?}}

\newcommand {\cnumber}[1]{\put(8,4){\circle{11}}\put(5,1){#1}\hspace{5mm}}

\def\isac{${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}

\def\sisac{{\small${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}}

\def\see{$\rightarrow$}

% macro for relating to buttons on the gui

\newcommand {\button}[1]{$\langle${\it#1}$\rangle$}

\setcounter{totalnumber}{8}

\setcounter{topnumber}{5}

\setcounter{bottomnumber}{5}

\renewcommand{\topfraction}{0.99}

\renewcommand{\bottomfraction}{0.99}

\renewcommand{\textfraction}{0.005}

\definecolor{color1}{rgb}{0.5,0.5,1}%fixxme

\definecolor{darkgreen}{rgb}{0,0.5,0}

\definecolor{darkblue}{rgb}{0,0,.5}

\definecolor{lightblue}{rgb}{0.8,0.85,1}

\definecolor{mygray}{gray}{.3}

\definecolor{rltbrightred}{rgb}{1,0,0}

\definecolor{rltred}{rgb}{0.75,0,0}

\definecolor{rltdarkred}{rgb}{0.5,0,0}

%

\definecolor{rltbrightgreen}{rgb}{0,0.75,0}

\definecolor{rltgreen}{rgb}{0,0.5,0}

\definecolor{rltdarkgreen}{rgb}{0,0,0.25}

%

\definecolor{rltbrightblue}{rgb}{0,0,1}

\definecolor{rltblue}{rgb}{0,0,0.75}

\definecolor{rltdarkblue}{rgb}{0,0,0.5}

\definecolor{webred}{rgb}{0.5,.25,0}

\definecolor{webblue}{rgb}{0,0,0.75}

\definecolor{webgreen}{rgb}{0,0.5,0}

\newcommand{\trademark}{${}^{\mbox{\scriptsize\textregistered}}$}

  \newtheorem{UR}{UR}[section]

  \newtheorem{SR}{SR}[section]

\newcommand{\mredcirc}[1]{{\color{red} \textcircled{\small #1}}}

\newcommand{\mcirc}[1]{{\textcircled{\small #1}}}