equal
deleted
inserted
replaced
14 \hypersetup{linkcolor=darkblue} |
14 \hypersetup{linkcolor=darkblue} |
15 \hypersetup{urlcolor=darkblue} |
15 \hypersetup{urlcolor=darkblue} |
16 |
16 |
17 \newcommand{\tttext}[1]{{\consolas{#1}}} |
17 \newcommand{\tttext}[1]{{\consolas{#1}}} |
18 |
18 |
|
19 \newcommand{\ZERO}{\mbox{\bf 0}} |
|
20 \newcommand{\ONE}{\mbox{\bf 1}} |
19 \newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}% |
21 \newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}% |
20 \newcommand{\slidecaption}{} |
22 \newcommand{\slidecaption}{} |
21 |
23 |
22 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
24 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
23 % Frametitles |
25 % Frametitles |