The `Hugs' shortcut created during installation should have been
installed for all users. I've fixed this locally but we're not going to
fiddle with the release at this point - sorry!
I didn't put an entry for `WinHugs' because we're not really
supporting this anymore. Once we have an officially supported GUI for
Hugs I'll probably make a program group with all of the executables in
it.
Sorry about the bugs in the winhugs packaging! We'll fix this when we
package the release again.
I really should go in and make all of the demos start using `main' so
you can double-click them.
Thanks for all your other comments. Looking at all of your
suggestions I may put out a patched release in a few weeks.
Thanks again for all your feedback!
John
