
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