Changeset 578 for Deliverables
- Timestamp:
- Feb 18, 2011, 2:29:32 PM (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D4.1/ITP-Paper/itp-2011.tex
r576 r578 303 303 Matita's syntax is lexically similar to O'Caml's. 304 304 This eased the translation, as swathes of code were copied with minor modifications. 305 However, several major issues had to be addresse s when moving fromto Matita.305 However, several major issues had to be addressed when moving to Matita. 306 306 These are now discussed. 307 307
Note: See TracChangeset
for help on using the changeset viewer.