doc/urd.tex
author Walther Neuper <wneuper@ist.tugraz.at>
Wed, 19 Dec 2018 12:51:51 +0100
changeset 5236 bdd3733fa7db
parent 4689 bed641db2bbe
permissions -rw-r--r--
------ connection to new math-engine on Isabelle2018: question 4 to Lars
agriesma@308
     1
\documentclass[a4wide]{report}
agriesma@308
     2
\usepackage{epsfig}
agriesma@308
     3
\usepackage{latexsym}
wneuper@4689
     4
\usepackage{hyperref}
wneuper@4689
     5
%\usepackage{times}        makes text larger than in isac-docu.pdf
agriesma@308
     6
\bibliographystyle{alpha}
agriesma@308
     7
agriesma@308
     8
\newcommand {\kommentar}[1]{\marginpar{\begin{flushright}\tiny#1\end{flushright}}}
agriesma@308
     9
\newcommand {\frage}[1]{
agriesma@308
    10
  \marginpar{
agriesma@308
    11
    \begin{tabular}{p{5mm} p{2cm}}
agriesma@308
    12
        \begin{flushleft}
agriesma@308
    13
          {\large?} 
agriesma@308
    14
        \end{flushleft}
agriesma@308
    15
        &
agriesma@308
    16
        \begin{flushright}
agriesma@308
    17
          \tiny #1
agriesma@308
    18
        \end{flushright}  
agriesma@308
    19
        \\ 
agriesma@308
    20
      \end{tabular}
agriesma@308
    21
    }
agriesma@308
    22
agriesma@308
    23
  }
agriesma@308
    24
\newcommand {\bigquest}{\marginpar{\huge?}}
agriesma@308
    25
\newcommand {\cnumber}[1]{\put(8,4){\circle{11}}\put(5,1){#1}\hspace{5mm}}
agriesma@308
    26
agriesma@308
    27
\def\isac{${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}
agriesma@308
    28
\def\sisac{{\small${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}}
agriesma@308
    29
\def\see{$\rightarrow$}
agriesma@308
    30
agriesma@308
    31
\title{\isac\\ User Requirements Document}
wneuper@1694
    32
\author{The \isac-Team\\
wneuper@2372
    33
see {\tt www.ist.tugraz.at/projects/isac}}
agriesma@308
    34
\date{$Revision$}
agriesma@308
    35
%\date{$Revision$}4.2:UR\label{unknown-calc},\label{model-feedback}
agriesma@308
    36
agriesma@308
    37
\includeonly{urd-content}
agriesma@308
    38
\begin{document}
agriesma@308
    39
\maketitle
agriesma@308
    40
\tableofcontents
agriesma@308
    41
agriesma@308
    42
\input{common}
wneuper@2372
    43
\bibliography{bib/isac,bib/from-theses}
wneuper@2372
    44
%WN050527:    ^^^^^^^^ is updated the by isac-admin on a regular base
wneuper@2372
    45
%                      ^^^^^^^^^^^^^^^ from theses copied into this isac-docu
agriesma@308
    46
\end{document}
agriesma@308
    47