regexp: Slides/document/root.tex@5c283ecefda6 (annotated)

391 5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	1	\documentclass[dvipsnames,14pt,t]{beamer}
16 663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	2	\usepackage{beamerthemeplaincu}
211 a9e4acbf7b00 more on slides urbanc parents: 204 diff changeset	3	%%\usepackage{ulem}
391 5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	4	%%\usepackage[T1]{fontenc}
16 663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	5	\usepackage{proof}
391 5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	6	%%\usepackage[latin1]{inputenc}
16 663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	7	\usepackage{isabelle}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	8	\usepackage{isabellesym}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	9	\usepackage{mathpartir}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	10	\usepackage[absolute, overlay]{textpos}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	11	\usepackage{proof}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	12	\usepackage{ifthen}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	13	\usepackage{animate}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	14	\usepackage{tikz}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	15	\usepackage{pgf}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	16	\usetikzlibrary{arrows}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	17	\usetikzlibrary{automata}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	18	\usetikzlibrary{shapes}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	19	\usetikzlibrary{shadows}
213 dda2e90de8a2 final slides urbanc parents: 211 diff changeset	20	\usetikzlibrary{calc}
391 5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	21	\usetikzlibrary{plotmarks}
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	22	\usetikzlibrary{positioning}
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	23
16 663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	24
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	25	% Isabelle configuration
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	26	%%\urlstyle{rm}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	27	\isabellestyle{rm}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	28	\renewcommand{\isastyle}{\rm}%
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	29	\renewcommand{\isastyleminor}{\rm}%
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	30	\renewcommand{\isastylescript}{\footnotesize\rm\slshape}%
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	31	\renewcommand{\isatagproof}{}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	32	\renewcommand{\endisatagproof}{}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	33	\renewcommand{\isamarkupcmt}[1]{#1}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	34
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	35	% Isabelle characters
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	36	\renewcommand{\isacharunderscore}{\_}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	37	\renewcommand{\isacharbar}{\isamath{\mid}}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	38	\renewcommand{\isasymiota}{}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	39	\renewcommand{\isacharbraceleft}{\{}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	40	\renewcommand{\isacharbraceright}{\}}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	41	\renewcommand{\isacharless}{$\langle$}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	42	\renewcommand{\isachargreater}{$\rangle$}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	43	\renewcommand{\isasymsharp}{\isamath{\#}}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	44	\renewcommand{\isasymdots}{\isamath{...}}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	45	\renewcommand{\isasymbullet}{\act}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	46
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	47	% mathpatir
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	48	\mprset{sep=1em}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	49
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	50	% general math stuff
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	51	\newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}% for definitions
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	52	\newcommand{\dnn}{\stackrel{\mbox{\Large def}}{=}}
204 e7edf55befc6 beginnig of the slides (not yet finished) urbanc parents: 16 diff changeset	53	\renewcommand{\isasymequiv}{$\dn$}
16 663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	54	\renewcommand{\emptyset}{\varnothing}% nice round empty set
391 5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	55	%%\renewcommand{\Gamma}{\varGamma}
16 663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	56	\DeclareRobustCommand{\flqq}{\mbox{\guillemotleft}}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	57	\DeclareRobustCommand{\frqq}{\mbox{\guillemotright}}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	58	\newcommand{\smath}[1]{\textcolor{blue}{\ensuremath{#1}}}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	59	\newcommand{\fresh}{\mathrel{\#}}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	60	\newcommand{\act}{{\raisebox{-0.5mm}{\Large$\boldsymbol{\cdot}$}}}% swapping action
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	61	\newcommand{\swap}[2]{(#1\,#2)}% swapping operation
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	62
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	63	% beamer stuff
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	64	\renewcommand{\slidecaption}{Salvador, 26.~August 2008}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	65
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	66
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	67	% colours for Isar Code (in article mode everything is black and white)
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	68	\mode<presentation>{
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	69	\definecolor{isacol:brown}{rgb}{.823,.411,.117}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	70	\definecolor{isacol:lightblue}{rgb}{.274,.509,.705}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	71	\definecolor{isacol:green}{rgb}{0,.51,0.14}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	72	\definecolor{isacol:red}{rgb}{.803,0,0}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	73	\definecolor{isacol:blue}{rgb}{0,0,.803}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	74	\definecolor{isacol:darkred}{rgb}{.545,0,0}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	75	\definecolor{isacol:black}{rgb}{0,0,0}}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	76	\mode<article>{
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	77	\definecolor{isacol:brown}{rgb}{0,0,0}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	78	\definecolor{isacol:lightblue}{rgb}{0,0,0}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	79	\definecolor{isacol:green}{rgb}{0,0,0}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	80	\definecolor{isacol:red}{rgb}{0,0,0}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	81	\definecolor{isacol:blue}{rgb}{0,0,0}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	82	\definecolor{isacol:darkred}{rgb}{0,0,0}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	83	\definecolor{isacol:black}{rgb}{0,0,0}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	84	}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	85
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	86
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	87	\newcommand{\strong}[1]{{\bfseries {#1}}}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	88	\newcommand{\bluecmd}[1]{{\color{isacol:lightblue}{\strong{#1}}}}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	89	\newcommand{\browncmd}[1]{{\color{isacol:brown}{\strong{#1}}}}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	90	\newcommand{\redcmd}[1]{{\color{isacol:red}{\strong{#1}}}}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	91
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	92	\renewcommand{\isakeyword}[1]{%
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	93	\ifthenelse{\equal{#1}{show}}{\browncmd{#1}}{%
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	94	\ifthenelse{\equal{#1}{case}}{\browncmd{#1}}{%
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	95	\ifthenelse{\equal{#1}{assume}}{\browncmd{#1}}{%
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	96	\ifthenelse{\equal{#1}{obtain}}{\browncmd{#1}}{%
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	97	\ifthenelse{\equal{#1}{fix}}{\browncmd{#1}}{%
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	98	\ifthenelse{\equal{#1}{oops}}{\redcmd{#1}}{%
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	99	\ifthenelse{\equal{#1}{thm}}{\redcmd{#1}}{%
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	100	{\bluecmd{#1}}}}}}}}}}%
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	101
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	102	% inner syntax colour
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	103	\chardef\isachardoublequoteopen=`\"%
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	104	\chardef\isachardoublequoteclose=`\"%
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	105	\chardef\isacharbackquoteopen=`\`%
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	106	\chardef\isacharbackquoteclose=`\`%
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	107	\newenvironment{innersingle}%
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	108	{\isacharbackquoteopen\color{isacol:green}}%
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	109	{\color{isacol:black}\isacharbackquoteclose}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	110	\newenvironment{innerdouble}%
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	111	{\isachardoublequoteopen\color{isacol:green}}%
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	112	{\color{isacol:black}\isachardoublequoteclose}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	113
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	114	%% misc
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	115	\newcommand{\gb}[1]{\textcolor{isacol:green}{#1}}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	116	\newcommand{\rb}[1]{\textcolor{red}{#1}}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	117
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	118	%% animations
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	119	\newcounter{growcnt}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	120	\newcommand{\grow}[2]
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	121	{\begin{tikzpicture}[baseline=(n.base)]%
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	122	\node[scale=(0.1 *#1 + 0.001),inner sep=0pt] (n) {#2};
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	123	\end{tikzpicture}%
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	124	}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	125
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	126	%% isatabbing
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	127	%\renewcommand{\isamarkupcmt}[1]%
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	128	%{\ifthenelse{\equal{TABSET}{#1}}{\=}%
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	129	% {\ifthenelse{\equal{TAB}{#1}}{\>}%
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	130	% {\ifthenelse{\equal{NEWLINE}{#1}}{\\}%
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	131	% {\ifthenelse{\equal{DOTS}{#1}}{\ldots}{\isastylecmt--- {#1}}}%
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	132	% }%
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	133	% }%
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	134	%}%
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	135
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	136
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	137	\newenvironment{isatabbing}%
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	138	{\renewcommand{\isanewline}{\\}\begin{tabbing}}%
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	139	{\end{tabbing}}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	140
391 5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	141	\begin{filecontents}{re-python.data}
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	142	1 0.029
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	143	5 0.029
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	144	10 0.029
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	145	15 0.032
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	146	16 0.042
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	147	17 0.042
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	148	18 0.055
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	149	19 0.084
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	150	20 0.136
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	151	21 0.248
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	152	22 0.464
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	153	23 0.899
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	154	24 1.773
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	155	25 3.505
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	156	26 6.993
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	157	27 14.503
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	158	28 29.307
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	159	#29 58.886
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	160	\end{filecontents}
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	161
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	162	\begin{filecontents}{re-ruby.data}
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	163	1 0.00006
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	164	2 0.00003
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	165	3 0.00001
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	166	4 0.00001
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	167	5 0.00001
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	168	6 0.00002
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	169	7 0.00002
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	170	8 0.00004
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	171	9 0.00007
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	172	10 0.00013
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	173	11 0.00026
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	174	12 0.00055
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	175	13 0.00106
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	176	14 0.00196
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	177	15 0.00378
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	178	16 0.00764
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	179	17 0.01606
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	180	18 0.03094
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	181	19 0.06508
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	182	20 0.12420
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	183	21 0.25393
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	184	22 0.51449
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	185	23 1.02174
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	186	24 2.05998
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	187	25 4.22514
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	188	26 8.42479
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	189	27 16.88678
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	190	28 34.79653
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	191	\end{filecontents}
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	192
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	193	\begin{filecontents}{re1.data}
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	194	1 0.00179
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	195	2 0.00011
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	196	3 0.00014
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	197	4 0.00026
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	198	5 0.00050
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	199	6 0.00095
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	200	7 0.00190
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	201	8 0.00287
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	202	9 0.00779
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	203	10 0.01399
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	204	11 0.01894
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	205	12 0.03666
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	206	13 0.07994
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	207	14 0.08944
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	208	15 0.02377
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	209	16 0.07392
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	210	17 0.22798
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	211	18 0.65310
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	212	19 2.11360
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	213	20 6.31606
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	214	21 21.46013
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	215	\end{filecontents}
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	216
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	217	\begin{filecontents}{re2a.data}
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	218	1 0.00227
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	219	5 0.00027
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	220	10 0.00075
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	221	15 0.00178
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	222	20 0.00102
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	223	25 0.00028
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	224	30 0.00040
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	225	35 0.00052
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	226	40 0.00075
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	227	45 0.00125
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	228	50 0.00112
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	229	55 0.00099
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	230	60 0.00113
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	231	65 0.00137
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	232	70 0.00170
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	233	\end{filecontents}
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	234
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	235	\begin{filecontents}{re2c.data}
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	236	1 0.00020
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	237	51 0.00080
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	238	101 0.00678
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	239	151 0.01792
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	240	201 0.04815
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	241	251 0.09648
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	242	301 0.23195
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	243	351 0.52646
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	244	401 0.96277
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	245	451 1.57726
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	246	501 2.00166
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	247	551 2.98341
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	248	601 4.81181
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	249	651 6.57054
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	250	701 9.73973
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	251	751 13.25762
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	252	801 14.80760
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	253	851 19.60958
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	254	901 25.43550
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	255	951 31.96038
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	256	\end{filecontents}
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	257
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	258	\begin{filecontents}{re3.data}
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	259	1 0.001605
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	260	501 0.131066
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	261	1001 0.057885
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	262	1501 0.136875
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	263	2001 0.176238
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	264	2501 0.254363
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	265	3001 0.37262
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	266	3501 0.500946
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	267	4001 0.638384
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	268	4501 0.816605
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	269	5001 1.00491
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	270	5501 1.232505
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	271	6001 1.525672
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	272	6501 1.757502
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	273	7001 2.092784
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	274	7501 2.429224
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	275	8001 2.803037
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	276	8501 3.463045
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	277	9001 3.609
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	278	9501 4.081504
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	279	10001 4.54569
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	280	10501 6.17789
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	281	11001 6.77242
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	282	11501 7.95864
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	283	\end{filecontents}
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	284
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	285
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	286
5c283ecefda6 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 213 diff changeset	287
16 663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	288	\begin{document}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	289	\input{session}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	290	\end{document}
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	291
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	292	%%% Local Variables:
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	293	%%% mode: latex
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	294	%%% TeX-master: t
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	295	%%% TeX-command-default: "Slides"
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	296	%%% TeX-view-style: (("." "kghostview --landscape --scale 0.45 --geometry 605x505 %f"))
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	297	%%% End:
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	298

author	Christian Urban <christian dot urban at kcl dot ac dot uk>
	Thu, 03 Oct 2013 15:29:03 +0100
changeset 391	5c283ecefda6
parent 213	dda2e90de8a2
permissions	-rw-r--r--