wneuper/isac: doc/RK/preamble.tex@d9f9cfd09b0f

     1 %chaos rules:

     3 \usepackage{listings}

     4 \usepackage{latexsym}

     5 \usepackage{epsfig}

     6 \usepackage{makeidx}  % allows for indexgeneration

     7 \usepackage{color}

     8 \usepackage{eurosym}

     9 \usepackage{scrpage2}

    10 \usepackage{amsmath,amssymb,amstext}

    11 \usepackage{capt-of}

    12 \usepackage{mathrsfs}

    13 \usepackage{multirow}                   % tall tables

    14 \usepackage{amsfonts}                   % Mathematical symbols

    15 \usepackage{graphicx}

    16 \usepackage{mathpazo}

    19 %\newif\ifpdf

    20 %\ifx\pdfoutput\undefined

    21 %    \pdffalse           % we are not running PDFLaTeX

    22 %\else

    23 %    \pdfoutput=1        % we are running PDFLaTeX

    24 %    \pdftrue

    25 %\fi

    26 %%----------------------------------------------------------------------

    27 %\ifpdf

    28     \usepackage[pdftex,

    29         colorlinks=false,

    30         pagebackref,

    31         pdfpagemode=None,

    32         bookmarksopen=true]{hyperref}

    33 %\else

    34 %    \usepackage[

    35 %        colorlinks=false,

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

    37 %        anchorcolor=rltbrightblue,

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

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

    40 %        menucolor=webdarkblue,

    41 %        citecolor=webgreen]{hyperref}

    42 %\fi

    47 \bibliographystyle{alpha}

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

    50 \newcommand{\preAuth}{AK}

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

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

    53 \newtheorem{usecase}{UC}[section]

    54 \newtheorem{userreq}{UR}[section]

    55 \newtheorem{softreq}{SR}[section]

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

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

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

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

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

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

    62 %...the latter two are already used differently

    64 %others

    65 \def\zB{z.B.}

    66 \def\dah{d.h.}

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

    68 \lstdefinelanguage{ISACXML}

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

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

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

    72   sensitive=false

    73 }

    75  \lstset{xleftmargin = 10mm,

    76          framexleftmargin = 10mm,

    77          frame=lines,

    78          emph=[2]{_init,zero_target},

    79          emphstyle=\textit,

    80          numbers=left,

    81          numberstyle=\tiny \color{mygray},

    82          %basicstyle=\small,

    83          basicstyle=\scriptsize,

    84          keywordstyle=\bf\color{blue},

    85          %directivestyle=\color{darkblue},

    86          %indexstyle=\color{red},

    87          commentstyle=\color{darkgreen},

    88          index={6},

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

    90          indexstyle=\color{red}

    91          }

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

    94 \newcommand {\frage}[1]{

    95   \marginpar{

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

    97         \begin{flushleft}

    98           {\large?}

    99         \end{flushleft}

   100         &

   101         \begin{flushright}

   102           \tiny #1

   103         \end{flushright}

   104         \\

   105       \end{tabular}

   106     }

   108   }

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

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

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

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

   114 \def\see{$\rightarrow$}

   116 % macro for relating to buttons on the gui

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

   118 \setcounter{totalnumber}{8}

   119 \setcounter{topnumber}{5}

   120 \setcounter{bottomnumber}{5}

   122 \renewcommand{\topfraction}{0.99}

   123 \renewcommand{\bottomfraction}{0.99}

   124 \renewcommand{\textfraction}{0.005}

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

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

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

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

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

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

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

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

   134 %

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

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

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

   138 %

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

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

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

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

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

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

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

   151   \newtheorem{UR}{UR}[section]

   152   \newtheorem{SR}{SR}[section]

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

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

author	Walther Neuper <walther.neuper@jku.at>
	Tue, 22 Sep 2020 14:33:32 +0200
changeset 5238	d9f9cfd09b0f
parent 3679	0088a28b6e40
permissions	-rw-r--r--