source: Deliverables/D1.2/Presentations

Revision Log Mode:


Copied or renamed
Diff Rev Age Author Log Message
(edit) @1838   8 years sacerdot First version.
(edit) @1837   8 years boender - added first draft of WP6 presentation
(edit) @1836   8 years campbell Revise WP3 presentation.
(edit) @1835   8 years tranquil fixed broken file
(edit) @1834   8 years tranquil presentation: TODO running example and a frame of intro
(edit) @1833   8 years tranquil cleaning up
(edit) @1832   8 years tranquil nested loops are not supported yet, the only test had one
(edit) @1830   8 years campbell Rest of WP3 presentation.
(edit) @1829   8 years mulligan changes to my presentation, just one point left to consider
(edit) @1827   8 years sacerdot Added again.
(edit) @1826   8 years sacerdot Removed because caused problems to the SVN.
(edit) @1825   8 years campbell WP3 draft slides. Fix fetopen.png.
(edit) @1824   8 years mulligan More changes to presentation, following Claudio's comments
(edit) @1823   8 years ayache Review 2012: Nicolas's presentation.
(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
(edit) @1819   8 years sacerdot
(edit) @1818   8 years sacerdot Moved from D1.1 to D1.2 where it should be.
(add) @1817   8 years sacerdot Presentations for the second review.
Note: See TracRevisionLog for help on using the revision log.