Changeset 677


Ignore:
Timestamp:
Mar 11, 2011, 9:05:02 AM (9 years ago)
Author:
campbell
Message:

Use better titles for T3.2/3.3.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D1.1/Presentations/WP3-brian.tex

    r657 r677  
    4646\begin{description}
    4747\item[D3.1] Executable Formal Semantics of C
    48 \item[T3.2] Functional encoding in the Calculus of Inductive Constructions
    49 \item[T3.3] Formal semantics of intermediate languages
     48\item[T3.2] CIC encoding: Front-end
     49\item[T3.3] Executable Formal Semantics of front end intermediate languages
    5050\end{description}
    5151
     
    374374Started after D3.1 delivery.
    375375\begin{description}
    376 \item[T3.2] Functional encoding in the Calculus of Inductive Constructions
    377 \item[T3.3] Formal semantics of intermediate languages
     376\item[T3.2] CIC encoding: Front-end
     377\item[T3.3] Executable Formal Semantics of front end intermediate languages
    378378\end{description}
    379379
Note: See TracChangeset for help on using the changeset viewer.