comparison src/sat.tac @ 581:78ca32cc0b51

CHANGELOG + version updates (yes, that's a release \o/)
author Goffi <goffi@goffi.org>
date Wed, 09 Jan 2013 22:55:59 +0100
parents ca13633d3b6b
children 84a6e83157c2
comparison
equal deleted inserted replaced
580:07d7c496ece9 581:78ca32cc0b51