

@1867

8 years 
mulligan 
Large changes following comments by IS, JMc and CSC



@1866

8 years 
campbell 
Drop "extra detail" from WP3.



@1865

8 years 
tranquil 
my presentation



@1864

8 years 
campbell 
Add PDF for WP3.



@1863

8 years 
campbell 
Minor WP3 revisions.



@1862

8 years 
mulligan 
Changes to presentation



@1861

8 years 
mulligan 
Changes to CSC's changes



@1860

8 years 
sacerdot 
…



@1859

8 years 
mulligan 
Added a new slide with the dynamic cost computation on it



@1858

8 years 
campbell 
Minor WP3 tweak.



@1857

8 years 
sacerdot 
…



@1856

8 years 
mulligan 
Added affiliation to title page



@1855

8 years 
mulligan 
Dynamic cost diagram added



@1854

8 years 
sacerdot 
…



@1853

8 years 
mulligan 
Changed names of labels etc. in diagram



@1852

8 years 
campbell 
Revise WP3 down.



@1851

8 years 
regisgia 
* Slides YRG.



@1850

8 years 
sacerdot 
…



@1849

8 years 
mulligan 
Added title pages to split talk into three separate sections



@1848

8 years 
sacerdot 
…



@1847

8 years 
mulligan 
More changes to presentation based on comments



@1846

8 years 
ayache 
Review 2012: Nicolas's presentation.



@1845

8 years 
campbell 
Minor WP3 revisions prior to more major stuff.



@1844

8 years 
mulligan 
Changed from serif to sans serif fonts



@1843

8 years 
mulligan 
Added svg file for my image for editing in inkscape



@1842

8 years 
mulligan 
Small change to contents frame



@1841

8 years 
mulligan 
Added explicit PDF to directory for printing



@1840

8 years 
mulligan 
Changes to my presentation based on feedback from practice session …



@1839

8 years 
sacerdot 
…



@1838

8 years 
sacerdot 
First version.



@1837

8 years 
boender 
 added first draft of WP6 presentation



@1836

8 years 
campbell 
Revise WP3 presentation.



@1835

8 years 
tranquil 
fixed broken file



@1834

8 years 
tranquil 
presentation: TODO running example and a frame of intro



@1833

8 years 
tranquil 
cleaning up



@1832

8 years 
tranquil 
nested loops are not supported yet, the only test had one



@1830

8 years 
campbell 
Rest of WP3 presentation.



@1829

8 years 
mulligan 
changes to my presentation, just one point left to consider



@1827

8 years 
sacerdot 
Added again.



@1826

8 years 
sacerdot 
Removed because caused problems to the SVN.



@1825

8 years 
campbell 
WP3 draft slides.
Fix fetopen.png.



@1824

8 years 
mulligan 
More changes to presentation, following Claudio's comments



@1823

8 years 
ayache 
Review 2012: Nicolas's presentation.



@1822

8 years 
mulligan 
Finished presentation, added proper CerCo? style.



@1821

8 years 
mulligan 
discussed merges into o'caml compiler. talk complete subject to …



@1820

8 years 
sacerdot 
…



@1819

8 years 
sacerdot 
…



@1818

8 years 
sacerdot 
Moved from D1.1 to D1.2 where it should be.



@1817

8 years 
sacerdot 
Presentations for the second review.
