2008-07-29 | Michael Schroeder | - fix typo | blob | commitdiff |
2007-11-28 | Klaus Kaempf | fix typo | blob | commitdiff | diff to current |
2007-10-26 | Duncan Mac-Vicar P | - fix packaging | blob | commitdiff | diff to current |
2007-10-02 | Klaus Kaempf | current state of 'sat-solver' | blob | commitdiff | diff to current |