id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
92	add methods in symbolic universe to support unbound arrays	ywei	ywei	Add methods in symbolic universe to allow the definition of unbound arrays (define array without specifying the bound.), also need methods to set the dimensions of array type. Another thing is to add a method to deal with 1-dimensional array conveniently. 	enhancement	closed	major		symbolic	1.0	fixed