Hugs' build system

[Ross Paterson]

On Sat, Mar 24, 2007 at 03:13:37PM +0100, Sven Panne wrote:
> Please give the new repo a try, and if everything seems to be OK, we should 
> somehow disable the CVS repo to avoid confusion. A darcs-all script is on the 
> way (in the next few days).

Looks good to me.  Just a few old directories not removed:

dotnet/lib/System
lib
libraries/Hugs

If you can do something about those, let's switch.