WinHugs progress report

[Neil Mitchell]

Hi,

http://www-users.york.ac.uk/~ndm500/temp/

In this directory are two zip files:

winhugs.zip, this is the complete contents of src/winhugs. Everything
in the existing directory needs to be deleted first, then this zip
extracted in its place. There are a few files that survived intact,
about 3, but not many. Most files are deleted or brand new, a few are
modified.

resource.zip, this is for src/winhugs/resource. Leave the existing
directory as is, and extract these files over the top. Some are
additions, some are replacements. There is relatively little change to
this.

Perhaps it would be a good idea to do a CVS Tag before making these
changes, to make it easier if anyone needs to get back before this
change happens.

With these changes the things that are lacking to build WinHugs are
project files (mine are located outside the CVS tree entirely, so I'll
move them in as a patch in a bit) and some patches to the Hugs source
code, which I'll send in easily digestible chunks over the next week.

Thanks

Neil