240
edits
Interval package: Difference between revisions
Jump to navigation
Jump to search
m
→VERSOFT
m (→VERSOFT) |
m (→VERSOFT) |
||
| Line 378: | Line 378: | ||
| depends on <code style="color:red">verintervalhull</code> | | depends on <code style="color:red">verintervalhull</code> | ||
|- | |- | ||
|verinvnonneg | |<s>verinvnonneg</s> | ||
|style="color:green"| free | |style="color:green"| free, migrated | ||
|- | |- | ||
|verposdef | |verposdef | ||