Known Bugs in version

Significant known bugs in the current release:

For an up-to-date list of bug reports, see
http://www.cs.rice.edu/CS/PLT/Bugs/query-pr.shtml
using a web browser that supports forms. (Help Desk does not support forms.)