equal
deleted
inserted
replaced
12 |
12 |
13 \definecolor{darkblue}{rgb}{0,0,0.6} |
13 \definecolor{darkblue}{rgb}{0,0,0.6} |
14 \hypersetup{colorlinks=true} |
14 \hypersetup{colorlinks=true} |
15 \hypersetup{linkcolor=darkblue} |
15 \hypersetup{linkcolor=darkblue} |
16 \hypersetup{urlcolor=darkblue} |
16 \hypersetup{urlcolor=darkblue} |
|
17 |
17 |
18 |
18 \newcommand{\tttext}[1]{{\consolas{#1}}} |
19 \newcommand{\tttext}[1]{{\consolas{#1}}} |
19 |
20 |
20 \newcommand{\ZERO}{\mbox{\bf 0}} |
21 \newcommand{\ZERO}{\mbox{\bf 0}} |
21 \newcommand{\ONE}{\mbox{\bf 1}} |
22 \newcommand{\ONE}{\mbox{\bf 1}} |