Mehdi Dogguy <[EMAIL PROTECTED]> writes: > Ok. It was corrected in why ≥ 2.14.
Ok, it is probably too late to correct this for debian lenny? At the moment it is not possible to launch any provers from gwhy GUI because of the issue :-( -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
