id	Summary	Status	Owner	Type	Priority	Milestone
161	Automatic performance analysis	accepted	zirkel	task	major	Release 1.0
202	installation from source	new		task	major	Release 1.0
294	Implement XML representation of TASS AST	accepted	stachnik	task	major	1.1
88	compile set of CVC3 problems we want solved	new		task	minor