CleanIDE minor update

Diederik van Arkel diederik@cs.kun.nl
Mon, 1 May 2000 16:45:33 +0200


Dear Clean users,

there is a new version of the CleanIDE v2.0 available from the Clean
website.
It fixes two minor problems.

First the inability to deal with spaces in pathnames has been temporarily
fixed.
A proper fix wil come with Clean v 1.3.3

Second, a mysterious crash afflicting a few ide users has now been
circumvented.

If you had one of the above problems then it migth be worth downloading the
new
version. Otherwise nothing has changed and you can keep your current
installation.

Greetings,

Diederik van Arkel
CleanIDE developer