source: Deliverables/D1.2/Presentations/WP4-dominic.tex

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @1867   8 years mulligan Large changes following comments by IS, JMc and CSC
(edit) @1862   8 years mulligan Changes to presentation
(edit) @1861   8 years mulligan Changes to CSC's changes
(edit) @1860   8 years sacerdot
(edit) @1859   8 years mulligan Added a new slide with the dynamic cost computation on it
(edit) @1856   8 years mulligan Added affiliation to title page
(edit) @1854   8 years sacerdot
(edit) @1849   8 years mulligan Added title pages to split talk into three separate sections
(edit) @1847   8 years mulligan More changes to presentation based on comments
(edit) @1844   8 years mulligan Changed from serif to sans serif fonts
(edit) @1840   8 years mulligan Changes to my presentation based on feedback from practice session …
(edit) @1829   8 years mulligan changes to my presentation, just one point left to consider
(edit) @1824   8 years mulligan More changes to presentation, following Claudio's comments
(edit) @1822   8 years mulligan Finished presentation, added proper CerCo? style.
(edit) @1821   8 years mulligan discussed merges into o'caml compiler. talk complete subject to …
(edit) @1820   8 years sacerdot
(copy) @1818   8 years sacerdot Moved from D1.1 to D1.2 where it should be.
copied from Deliverables/D1.1/Presentations/Paris presentation March 2012/WP4-dominic.tex:
(edit) @1816   8 years mulligan more slides added, only got topic of changes merged back into o'caml …
Note: See TracRevisionLog for help on using the revision log.