id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
21	improvements to user interface	Stephen Siegel	ywei	"At the end of a verification run, the system just prints ""true"" of ""false"".  It should say something like ""The property holds on all executions"" or ""The property does not hold: counterexample found"".

During a comparison, instead of naming the models ""P1"" and ""P2"", how about ""Spec"" and ""Impl"".

"	enhancement	new	minor		User Interface	1.0