source: Deliverables/Dissemination/final-review/wp5/Pics/main.tex @ 3282

Last change on this file since 3282 was 3282, checked in by regisgia, 7 years ago
  • WP5 slides for the final review.
File size: 2.0 KB
Line 
1\documentclass{beamer}
2
3\usepackage[T1]{fontenc}
4\usepackage{amsmath, amssymb, amsthm, amsfonts}
5\usepackage{color}
6\usepackage{multirow}
7
8\newcommand{\N}{\mathbb{N}}
9\newcommand{\sem}[1]{\llbracket #1 \rrbracket}
10\newcommand{\Comp}{\mathcal{C}}
11\newcommand{\semequiv}{\equiv}
12\newcommand{\Annot}{\mathit{An}}
13\newcommand{\semleads}{\Downarrow}
14\newcommand{\Lab}{\mathcal{L}}
15\newcommand{\LabLang}[1]{$\text{#1}^\Lab$}
16\newcommand{\medquad}{\quad\quad}
17\newcommand{\bigquad}{\quad\quad\quad}
18
19\definecolor{transblack}{RGB}{217,217,217}
20\definecolor{transred}{RGB}{255,215,215}
21\definecolor{transgreen}{RGB}{215,255,215}
22\definecolor{transblue}{RGB}{215,215,255}
23\definecolor{transorange}{RGB}{255,235,215}
24\definecolor{transmagenta}{RGB}{255,215,235}
25
26\definecolor{darkred}{RGB}{102,0,0}
27\definecolor{transdarkred}{RGB}{230,215,215}
28\definecolor{darkgreen}{RGB}{0,102,0}
29\definecolor{transdarkgreen}{RGB}{215,230,215}
30
31\definecolor{violet}{RGB}{160,0,160}
32\definecolor{lightviolet}{RGB}{255,204,204}
33
34\newcommand{\checked}{\textcolor{darkgreen}{$\surd$}}
35\newcommand{\unchecked}{\textcolor{red}{X}}
36
37\newcommand{\op}[1]{\textcolor{blue}{#1}}
38\newcommand{\assigns}{\op{$\leftarrow$}}
39\newcommand{\reg}[1]{\textcolor{darkgreen}{\$#1}}
40\newcommand{\lab}[1]{\textcolor{magenta}{#1}}
41\newcommand{\keyword}[1]{\textcolor{violet}{#1}}
42
43\newcommand{\notitle}{\frametitle{\textcolor{white}{A}}}
44\newcommand{\moveup}{\includegraphics[height=10cm]{Pics/nothing.mps}}
45
46\newcommand{\Clang}{\textsc{C}}
47\newcommand{\Clight}{\textsc{Clight}}
48\newcommand{\Cminor}{\textsc{Cminor}}
49\newcommand{\RTLabs}{\textsc{RTL}_{\textsc{abs}}}
50\newcommand{\RTL}{\textsc{RTL}}
51\newcommand{\ERTL}{\textsc{ERTL}}
52\newcommand{\LTL}{\textsc{LTL}}
53\newcommand{\LIN}{\textsc{LIN}}
54\newcommand{\MIPS}{\textsc{MIPS}}
55\newcommand{\Eighty}{\textsc{8051}}
56\newcommand{\Imp}{\textsc{Imp}}
57\newcommand{\VM}{\textsc{VM}}
58\newcommand{\ASM}{\textsc{ASM}}
59\newcommand{\Labelled}[1]{#1^\mathcal{L}}
60
61\newcommand{\lbl}{\ell}
62
63\begin{document}
64\end{document}
Note: See TracBrowser for help on using the repository browser.