Bug fixes

The CVS tree contains a version of Prosper that
fixes several annoying bugs.

Posted by Frederic Goualard 2001-07-03