__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