Hi Valery, "Valery A.Khamenya" wrote: > Hello clean-masters, You sent your mail to the Clean discussion list. To address the Clean team mailto:clean@cs.kun.nl. > Is there new releases of IDE 2.0 fixing those bugs ? Not yet. We will announce a new version on the clean-list. greetings Martin Wierich University of Nijmegen