Changeset 807


Ignore:
Timestamp:
May 13, 2011, 6:31:51 PM (9 years ago)
Author:
mulligan
Message:

small change

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/addenda/letter.tex

    r806 r807  
    137137   certification. The proofs are very well organized and the authors are
    138138   trying to maximise simplicity and and potential for reuse. Nevertheless, some important design
    139    decisions have been taken from the very start of the CompCert effort that have not been
     139   decisions have been taken from the very start of the CompCert effortlan that have not been
    140140   questioned extensively. Among them, the use of a non-executable semantics
    141141   for intermediate languages and the use of non-dependent types for the code.
     
    183183~\\
    184184
    185 Bologna, 13/05/2011 \hspace{6cm} The project coordinator.
     185Bologna, 13/05/2011 \hspace{6cm} The project co-ordinator.
    186186
    187187\end{document}
Note: See TracChangeset for help on using the changeset viewer.