--- a/Slides/slides01.tex Tue Jun 14 12:24:25 2016 +0100
+++ b/Slides/slides01.tex Tue Jun 14 12:37:46 2016 +0100
@@ -2,7 +2,6 @@
\usepackage{slides}
\usepackage{langs}
\usepackage{graph}
-%\usepackage{grammar}
\usepackage{soul}
\usepackage{data}
\usepackage{proof}
@@ -11,31 +10,6 @@
\renewcommand{\slidecaption}{Canterbury, 22.2.2016}
\newcommand{\bl}[1]{\textcolor{blue}{#1}}
-\newcommand\grid[1]{%
-\begin{tikzpicture}[baseline=(char.base)]
- \path[use as bounding box]
- (0,0) rectangle (1em,1em);
- \draw[red!50, fill=red!20]
- (0,0) rectangle (1em,1em);
- \node[inner sep=1pt,anchor=base west]
- (char) at (0em,\gridraiseamount) {#1};
-\end{tikzpicture}}
-\newcommand\gridraiseamount{0.12em}
-
-\makeatletter
-\newcommand\Grid[1]{%
- \@tfor\z:=#1\do{\grid{\z}}}
-\makeatother
-
-\newcommand\Vspace[1][.3em]{%
- \mbox{\kern.06em\vrule height.3ex}%
- \vbox{\hrule width#1}%
- \hbox{\vrule height.3ex}}
-
-\def\VS{\Vspace[0.6em]}
-
-
-
\begin{document}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{frame}[t]