Changes made to bug 293

This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Who	When	What	Removed	Added
behrmann	2006-03-10 15:53:46 CET	Status	NEW	ASSIGNED
behrmann	2006-03-10 15:54:00 CET	Severity	normal	enhancement
behrmann	2006-03-10 15:54:17 CET	Priority	P2	P1
behrmann	2006-03-15 20:43:39 CET	Resolution	---	FIXED
behrmann	2006-03-15 20:43:39 CET	Status	ASSIGNED	RESOLVED

Back to bug 293