Hi, The settings on Windows are stored under a registry key for each specific release. This means that if you install WinHugs, carefully set up everything, then upgrade, you loose all your settings.
I know that in the past this was done because successive versions of Hugs could choke on the options for the previous version. So can I make the suggestion: * We agree to make the options string consistent from now on, not changing its meaning. * We move to using the current registry key for all future releases. Thanks Neil _______________________________________________ Hugs-Bugs mailing list [email protected] http://www.haskell.org/mailman/listinfo/hugs-bugs
