Changes between Initial Version and Version 1 of Ticket #282

Timestamp:

07/16/10 08:12:04 (16 years ago)

Author:

felix winkelmann

Comment:

Replying to mario:

The setup file for z3 1.40 declares its version as

(version 1.4)

I suspect that's what's causing the error for mw-core: ​http://tests.call-cc.org/2010/07/13/salmonella-report/mw-core.html

Shouldn't the version be "1.40"?

Indeed. Thanks for mentioning this.