docs/solver.xml
2008-07-02 Move DEPSOLVE.txt and REPO.txt into docbook.