This directory contains papers related to the project and to this
prototype.

Please notice that the Implementation Report and the User's Guide are still
drafts, and have many pieces missing, incomplete or wrong.

