Hello there, I am trying to install Hugs under Cygwin, and I have severe problems. The last problem lead me to a hugs core dump, and I have no idea why. There must be someone else who has tried this and succeeded? If so, I could use some hints. Thanks, /Koen. -- Koen Claessen http://www.cs.chalmers.se/~koen Chalmers University, Gothenburg, Sweden.