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