id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
30	improve model names	Stephen Siegel	ywei	"In compare mode, the models are named ""Spec"" and ""Impl"".   I think it would be better to get the names from the filenames by just dropping the suffix.  For example if the filename is ""fooSpec.mmp"" then the model will have name ""fooSpec"". 

The name of the model is used as the root for the file names of the counterexample traces and models, so this will make it more clear for the user where those files come from.

Ditto for verify mode.
"	enhancement	closed	minor		User Interface	1.0	fixed	file name model trace	ywei@…