sealion Bugs
Status: Beta
Brought to you by:
dryeti
# | Summary▾ |
Milestone▾
|
Status▾
|
Owner▾
|
Created▾ | Updated▾ | |
---|---|---|---|---|---|---|---|
6 | Error when debugging with ourobouros | v1.0 (example) | open | 2017-05-09 | 2017-05-09 | ||
5 | order in interpretation view | v1.0 (example) | open | 2013-07-08 | 2013-07-08 | ||
4 | negative integer constants | None | open | 2013-04-30 | 2013-04-30 | ||
3 | strong negation in Interpretation view | None | open | 2013-04-29 | 2013-04-29 | ||
2 | test bug | None | open | 2012-08-14 | 2012-08-14 |