There isn't a printable manual.

However, coming from Keyclone to ISBoxer, this document might be worth reading, since it explains many of the things that are the same or different with respect to Keyclone:
http://www.lavishsoft.com/downloads/...20refugees.pdf