README.txt
TODO.FACTOR.txt
doc/UI_HOWTO.txt
doc/cont-responder-tutorial.txt
doc/handbook.pdf
doc/internals.txt
doc/theory.pdf
doc/handbook