2011-05-24 | Michael Schroeder | - minor text fixes and tweaks | blob | commitdiff |
2008-11-05 | Klaus Kaempf | use separate build dir | blob | commitdiff | diff to current |
2007-11-13 | Stephan Kulow | Duncan forgot the docu | blob | commitdiff | diff to current |
2007-10-02 | Klaus Kaempf | current state of 'sat-solver' | blob | commitdiff | diff to current |