Custom Query (4 matches)
Ticket | Summary | Owner | Type | Priority | Component | Version |
---|---|---|---|---|---|---|
#206 | Error markers don't disappear when modules are commented out / removed | defect | medium | magnolia-eclipse | ||
Status: closed (1 match) |
||||||
Ticket | Summary | Owner | Type | Priority | Component | Version |
#232 | Wrong code generated for axioms (assert expression, guards) | defect | high | magnolia-eclipse | ||
Status: new (2 matches) |
||||||
Ticket | Summary | Owner | Type | Priority | Component | Version |
#239 | Functionalisation and renaming interaction problems | enhancement | high | magnolia-eclipse | ||
#237 | Hover help on a module name | enhancement | medium | magnolia-eclipse |
Note:
See TracQuery
for help on using queries.