Changeset 1821 for Deliverables


Ignore:
Timestamp:
Mar 12, 2012, 2:45:10 PM (8 years ago)
Author:
mulligan
Message:

discussed merges into o'caml compiler. talk complete subject to changes mandated by claudio after checking

File:
1 edited

Legend:

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

    r1820 r1821  
    11\documentclass[serif]{beamer}
    2 
    3 \usetheme{Frankfurt}
    4 \logo{\includegraphics[height=1.0cm]{fetopen.png}}
    52
    63\usepackage[english]{babel}
     
    623620\begin{frame}
    624621\frametitle{Changes ported to O'Caml prototype}
    625 XXX: todo
     622\begin{itemize}
     623\item
     624Bug fixes spotted in the formalisation so far have been merged back into the O'Caml compiler
     625\item
     626Larger changes like the \texttt{Joint} machinery have so far not
     627\item
     628It is unclear whether they will be
     629\item
     630Just a generalization of what is already there
     631\item
     632Supposed to make formalization easier
     633\end{itemize}
    626634\end{frame}
    627635
Note: See TracChangeset for help on using the changeset viewer.