__color__,__group__,ticket,summary,component,milestone,type,created,_changetime,_description,_reporter
2,iago,1,First & general high-level design,Design,0.1,task,2010-05-21T16:23:08Z+0100,2010-05-21T17:13:23Z+0100,"First draft of use cases, components, modules, ... from a high-level view.
",iago
3,iago,2,Core formalization,Core,0.1,task,2010-05-21T17:10:23Z+0100,2010-05-21T17:13:58Z+0100,Formalization of the Core type system.,iago
2,iago,3,Code up Core syntax-related stuff,Core,0.1,task,2010-05-21T17:12:25Z+0100,2010-05-21T17:13:45Z+0100,"Abstract syntax, substitution, etc.",iago