equal
deleted
inserted
replaced
61 \newcommand{\fresh}{\mathrel{\#}} |
61 \newcommand{\fresh}{\mathrel{\#}} |
62 \newcommand{\act}{{\raisebox{-0.5mm}{\Large$\boldsymbol{\cdot}$}}}% swapping action |
62 \newcommand{\act}{{\raisebox{-0.5mm}{\Large$\boldsymbol{\cdot}$}}}% swapping action |
63 \newcommand{\swap}[2]{(#1\,#2)}% swapping operation |
63 \newcommand{\swap}[2]{(#1\,#2)}% swapping operation |
64 |
64 |
65 % beamer stuff |
65 % beamer stuff |
66 \renewcommand{\slidecaption}{Salvador, 26.~August 2008} |
66 \renewcommand{\slidecaption}{} |
67 |
67 |
68 |
68 |
69 % colours for Isar Code (in article mode everything is black and white) |
69 % colours for Isar Code (in article mode everything is black and white) |
70 \mode<presentation>{ |
70 \mode<presentation>{ |
71 \definecolor{isacol:brown}{rgb}{.823,.411,.117} |
71 \definecolor{isacol:brown}{rgb}{.823,.411,.117} |