Changeset 578 for Deliverables


Ignore:
Timestamp:
Feb 18, 2011, 2:29:32 PM (10 years ago)
Author:
mulligan
Message:

Fixed typo.

File:
1 edited

Legend:

Unmodified
Added
Removed

  • Deliverables/D4.1/ITP-Paper/itp-2011.tex

    r576 r578  
    303303Matita's syntax is lexically similar to O'Caml's.
    304304This eased the translation, as swathes of code were copied with minor modifications.
    305 However, several major issues had to be addresses when moving from to Matita.
     305However, several major issues had to be addressed when moving to Matita.
    306306These are now discussed.
    307307
Note: See TracChangeset for help on using the changeset viewer.