Changeset 1862 for Deliverables/D1.2


Ignore:
Timestamp:
Mar 15, 2012, 4:56:26 PM (9 years ago)
Author:
mulligan
Message:

Changes to presentation

Location:
Deliverables/D1.2/Presentations
Files:
2 edited

Legend:

Unmodified
Added
Removed

  • Deliverables/D1.2/Presentations/WP4-dominic.tex

    r1861 r1862  
    442442In particular, used in the proof that static and dynamic cost computations coincide
    443443\item
    444 Traces preserved by backend compilation, initially created at RTL
     444Traces preserved by backend compilation, initially created at RTLabs
    445445\item
    446446This will be explained later

  • Deliverables/D1.2/Presentations/dynamic_cost.svg

    r1855 r1862  
    1515   version="1.1"
    1616   inkscape:version="0.48.2 r9819"
    17    sodipodi:docname="New document 3">
     17   sodipodi:docname="dynamic_cost.svg"
     18   inkscape:export-filename="/home/dpm/Documents/Projects/Cerco/cerco/Deliverables/D1.2/Presentations/dynamic_cost.png"
     19   inkscape:export-xdpi="90"
     20   inkscape:export-ydpi="90">
    1821  <defs
    1922     id="defs3093" />
Note: See TracChangeset for help on using the changeset viewer.