{-
Hello,
I seem to have run into a bug in the Hugs type checker.
Bellow are three variations of the problem, with the errors that Hugs
came up with.
I used the version of Hugs from cvs (January 2003) (just checked it
out), and it also seems
to happen on the Nov 2002 version. The tests were don
Hi,
I downloaded hugs98-Nov2002.msi and installed it today (in front of class)
and WinHugs was not installed...at least it wasnt appearing on the Start
menu. Is it not included in this distribution?
Michael
___
Hugs-Bugs mailing list
[EMAIL PROTECTED]
