%\date{$Revision$}

\documentclass[a4wide]{report}

\usepackage{listings}

\usepackage{epsfig}

\usepackage{latexsym}

\usepackage{times}

\bibliographystyle{alpha}

\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{% general command to set parameters for the lstinputlisting command

  basicstyle=\footnotesize,

  %numbers=left,

  %stepnumber=5,

  %numberstyle=\tiny,

  captionpos=b,

  commentstyle=\ttfamily,

  breaklines=true,

  breakindent=10pt,

  stringstyle=\ttfamily,

  tabsize=2,

}

\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?}}

\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}$}}

\title{\isac{} Design Documents\\ 

  \framebox{\bf Software Design Document}}

\author{The \isac-Team\\

{\tt www.ist.tugraz.at/projects/isac} $<$people$>$ $<$credits$>$}

\date{$Revision$}

%AG.2.1.03 Dialog Layer

\includeonly{sdd-content}

\begin{document}

\maketitle

\tableofcontents

\input{common}

\bibliography{bib/didact,bib/math-eng,bib/dia-form,bib/RISC_1,bib/RISC_2,bib/misc,bib/hci,bib/isac}

\end{document}