Interactive BDD Environment Bugs

Brought to you by: behrmann

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	Created▾ Sort A -> Z Sort Z -> A	Updated▾ Sort A -> Z Sort Z -> A
3	Existential and universal quantifications don't parse	v1.0_(example)	open	2013-09-27	2013-09-27
2	The lhs symbol of an assignment cannot be used on the rhs.	None	open	2003-03-28	2003-03-28
1	DOS/Windows style line endings do not work	None	open	2003-03-28	2003-03-28

(applies to this page only)