doc/srd.tex
author Walther Neuper <wneuper@ist.tugraz.at>
Wed, 19 Dec 2018 12:51:51 +0100
changeset 5236 bdd3733fa7db
parent 307 e11338337b48
permissions -rw-r--r--
------ connection to new math-engine on Isabelle2018: question 4 to Lars
agriesma@307
     1
\documentclass[a4wide]{report}
agriesma@307
     2
\usepackage{epsfig}
agriesma@307
     3
\usepackage{latexsym}
agriesma@307
     4
\bibliographystyle{alpha}
agriesma@307
     5
agriesma@307
     6
\newcommand {\kommentar}[1]{\marginpar{\begin{flushright}\tiny#1\end{flushright}}}
agriesma@307
     7
\newcommand {\frage}[1]{
agriesma@307
     8
  \marginpar{
agriesma@307
     9
    \begin{tabular}{p{5mm} p{2cm}}
agriesma@307
    10
        \begin{flushleft}
agriesma@307
    11
          {\large?} 
agriesma@307
    12
        \end{flushleft}
agriesma@307
    13
        &
agriesma@307
    14
        \begin{flushright}
agriesma@307
    15
          \tiny #1
agriesma@307
    16
        \end{flushright}  
agriesma@307
    17
        \\ 
agriesma@307
    18
      \end{tabular}
agriesma@307
    19
    }
agriesma@307
    20
agriesma@307
    21
  }
agriesma@307
    22
\newcommand {\bigquest}{\marginpar{\huge?}}
agriesma@307
    23
\newcommand {\cnumber}[1]{\put(8,4){\circle{11}}\put(5,1){#1}\hspace{5mm}}
agriesma@307
    24
agriesma@307
    25
\def\isac{${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}
agriesma@307
    26
\def\sisac{{\small${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}}
agriesma@307
    27
agriesma@307
    28
\title{\isac\\ Software Requirements Document}
agriesma@307
    29
\author{Andreas Griesmayer, Alan Krempler, Walther Neuper\\
agriesma@307
    30
{\tt\{agries,akremp,neuper\}@ist.tugraz.at}}
agriesma@307
    31
\date{$Revision$}
agriesma@307
    32
%\date{$Revision$}wn.
agriesma@307
    33
agriesma@307
    34
\includeonly{srd-content}
agriesma@307
    35
\begin{document}
agriesma@307
    36
\maketitle
agriesma@307
    37
\tableofcontents
agriesma@307
    38
agriesma@307
    39
\input{common}
agriesma@307
    40
\bibliography{bib/didact,bib/math-eng,bib/dia-form,bib/RISC_1,bib/RISC_2,bib/misc,bib/hci,bib/isac}
agriesma@307
    41
\end{document}