1 \documentclass[dvipsnames,14pt,t]{beamer} |
1 \documentclass[dvipsnames,14pt,t]{beamer} |
2 \usepackage{slides} |
2 \usepackage{slides} |
3 \usepackage{langs} |
3 \usepackage{langs} |
4 \usepackage{graph} |
4 \usepackage{graph} |
5 %\usepackage{grammar} |
|
6 \usepackage{soul} |
5 \usepackage{soul} |
7 \usepackage{data} |
6 \usepackage{data} |
8 \usepackage{proof} |
7 \usepackage{proof} |
9 |
8 |
10 % beamer stuff |
9 % beamer stuff |
11 \renewcommand{\slidecaption}{Canterbury, 22.2.2016} |
10 \renewcommand{\slidecaption}{Canterbury, 22.2.2016} |
12 \newcommand{\bl}[1]{\textcolor{blue}{#1}} |
11 \newcommand{\bl}[1]{\textcolor{blue}{#1}} |
13 |
|
14 \newcommand\grid[1]{% |
|
15 \begin{tikzpicture}[baseline=(char.base)] |
|
16 \path[use as bounding box] |
|
17 (0,0) rectangle (1em,1em); |
|
18 \draw[red!50, fill=red!20] |
|
19 (0,0) rectangle (1em,1em); |
|
20 \node[inner sep=1pt,anchor=base west] |
|
21 (char) at (0em,\gridraiseamount) {#1}; |
|
22 \end{tikzpicture}} |
|
23 \newcommand\gridraiseamount{0.12em} |
|
24 |
|
25 \makeatletter |
|
26 \newcommand\Grid[1]{% |
|
27 \@tfor\z:=#1\do{\grid{\z}}} |
|
28 \makeatother |
|
29 |
|
30 \newcommand\Vspace[1][.3em]{% |
|
31 \mbox{\kern.06em\vrule height.3ex}% |
|
32 \vbox{\hrule width#1}% |
|
33 \hbox{\vrule height.3ex}} |
|
34 |
|
35 \def\VS{\Vspace[0.6em]} |
|
36 |
|
37 |
|
38 |
12 |
39 \begin{document} |
13 \begin{document} |
40 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
14 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
41 \begin{frame}[t] |
15 \begin{frame}[t] |
42 \frametitle{% |
16 \frametitle{% |