|
|
|
|
|
Posted by: Anonymous -
on Tuesday, June 29, 2004 - 07:56 AM |
| |
|
Version 0.6.2 has been released (for Eclipse 2.1.x)
This version brings a small improvement in the termination package. Algorithm termination conditions can now be linked together with AND/OR relations (feature request). In addition a bug in the properties view has been fixed; the view wasn't updated correctly when creating non-trivial properties.
|
|
|
| |
|
