source: Deliverables/D1.2/Presentations

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @1826   9 years sacerdot Removed because caused problems to the SVN.
(edit) @1825   9 years campbell WP3 draft slides. Fix fetopen.png.
(edit) @1824   9 years mulligan More changes to presentation, following Claudio's comments
(edit) @1823   9 years ayache Review 2012: Nicolas's presentation.
(edit) @1822   9 years mulligan Finished presentation, added proper CerCo? style.
(edit) @1821   9 years mulligan discussed merges into o'caml compiler. talk complete subject to …
(edit) @1820   9 years sacerdot …
(edit) @1819   9 years sacerdot …
(edit) @1818   9 years sacerdot Moved from D1.1 to D1.2 where it should be.
(add) @1817   9 years sacerdot Presentations for the second review.
Note: See TracRevisionLog for help on using the revision log.