JTLV - formal framework Bugs

Status: Beta

Brought to you by: sya

Bugs Maximize Restore

# Sort A -> Z Sort Z -> A	Summary▾ Sort A -> Z Sort Z -> A	Milestone▾ Sort A -> Z Sort Z -> A Filter by Milestone	Status▾ Sort A -> Z Sort Z -> A Filter by Status	Owner▾ Sort A -> Z Sort Z -> A Filter by Owner	Created▾ Sort A -> Z Sort Z -> A	Updated▾ Sort A -> Z Sort Z -> A	Priority▾ Sort A -> Z Sort Z -> A
4	False SMV error on Eclipse startup	None	open		2008-08-21	2008-08-21	5
1	using define-variables in SMV	None	open		2008-06-29	2008-07-13	3

(applies to this page only)