Changes between Initial Version and Version 1 of Ticket #282


Ignore:
Timestamp:
07/16/10 08:12:04 (11 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.

Legend:

Unmodified
Added
Removed
Modified