Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2011-05-24 | - minor text fixes and tweaks | Michael Schroeder | 1 | -12/+3 |
2008-11-05 | use separate build dir | Klaus Kaempf | 1 | -2/+4 |
2007-11-13 | Duncan forgot the docu | Stephan Kulow | 1 | -4/+3 |
2007-10-02 | current state of 'sat-solver' | Klaus Kaempf | 1 | -0/+26 |