id	Summary	Status	Owner	Created	Modified	priority
1	Manticore parallel programming language	new		Apr 22, 2011, 7:26:48 AM	Apr 22, 2011, 7:26:48 AM	
7	Abella theorem prover	new		Mar 5, 2013, 6:59:18 AM	Mar 5, 2013, 6:59:18 AM