Change Log Report

Total number of changed sets: 1

Changes between 2009-04-26 and 2009-05-27

Total commits: 1
Total number of files changed: 1

Timestamp Author Details
2009-05-20 23:15:15 leberre /maven/trunk/org.sat4j.sat/src/main/java/org/sat4j/sat/Lanceur.java v 462

Fixed new constructor for DotSearchListener.