WinHugs beta 2

Hi, I've now packaged up WinHugs beta 2, its at http://www-users.cs.york.ac.uk/~ndm/projects/winhugs.php Since beta 1 I've fixed a pile of bugs and added an uninstaller, other than that its pretty much identical. I've packaged this up as WinHugs and MinHugs - a minimal version of WinHugs which takes up less space and has less libraries/packages. Since I hope that university students will be installing this on their machines to do their work, it needs to be small enough so it can be installed on their quota. Thanks, comments actively sought, Neil