- Feb 18, 2011, 2:29:32 PM (6 years ago)
- 1 edited
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 addresse to Matita. 306 306 These are now discussed. 307 307
Note: See TracChangeset for help on using the changeset viewer.