Interactive BDD Environment Bugs
Brought to you by:
behrmann
# | Summary▾ |
Milestone▾
|
Status▾
|
Owner▾
|
Created▾ | Updated▾ | |
---|---|---|---|---|---|---|---|
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 |