Sorry. This documentation has yet to be written. Some information can be obtained in the tutorial "Getting Started with Desert". Additional documentation will follow.
If you have questions or problems, send email to Steve Reiss at spr@cs.brown.edu.
Or go back to the Desert home page.