2007-12-21 | Michael Schroeder | - add evrmatch | blob | commitdiff | raw |
2007-12-14 | Michael Schroeder | - some pieces of code for the unified lookup/search... | blob | commitdiff | raw | diff to current |
2007-12-10 | Michael Schroeder | - add evrcmp mode parameter | blob | commitdiff | raw | diff to current |
2007-12-06 | Michael Schroeder | added some DEBIAN_SEMANTICS | blob | commitdiff | raw | diff to current |
2007-11-28 | Michael Schroeder | - changed debug mechanism a bit, it is now part of... | blob | commitdiff | raw | diff to current |
2007-11-26 | Stefan Schubert | replaced printf by a locking function | blob | commitdiff | raw | diff to current |
2007-11-08 | Michael Schroeder | - add a license | blob | commitdiff | raw | diff to current |
2007-10-12 | Michael Schroeder | fix typo | blob | commitdiff | raw | diff to current |
2007-10-12 | Michael Schroeder | delete some spaces | blob | commitdiff | raw | diff to current |
2007-10-02 | Klaus Kaempf | current state of 'sat-solver' | blob | commitdiff | raw | diff to current |