Changeset 1849


Ignore:
Timestamp:
Mar 15, 2012, 3:31:16 PM (8 years ago)
Author:
mulligan
Message:

Added title pages to split talk into three separate sections

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D1.2/Presentations/WP4-dominic.tex

    r1847 r1849  
    5454
    5555\section{Rationalisation of backend languages}
     56
     57\begin{frame}
     58\begin{center}
     59Rationalisation of backend languages
     60\end{center}
     61\end{frame}
    5662
    5763\begin{frame}
     
    257263
    258264\section{Assembler correctness proof and structured traces}
     265
     266\begin{frame}
     267\begin{center}
     268Assembler correctness proof and structured traces
     269\end{center}
     270\end{frame}
    259271
    260272\begin{frame}
     
    512524
    513525\begin{frame}
     526\begin{center}
     527Changes to tools and prototypes, looking forward
     528\end{center}
     529\end{frame}
     530
     531\begin{frame}
    514532\frametitle{Changes ported to OCaml prototype}
    515533\begin{itemize}
Note: See TracChangeset for help on using the changeset viewer.