Changeset 417 for Deliverables


Ignore:
Timestamp:
Dec 13, 2010, 6:48:38 PM (9 years ago)
Author:
campbell
Message:

Minor typo.

Location:
Deliverables/D3.1/Report
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D3.1/Report/report.tex

    r413 r417  
    821821the results in the previous sections we gain considerable confidence
    822822that the semantics describe the behaviour of programs properly.
    823 Nevertheless, we index to experiment with larger C programs once
     823Nevertheless, we intend to experiment with larger C programs once
    824824extraction is available.
    825825
Note: See TracChangeset for help on using the changeset viewer.