Hi, an HTMLHelp version of the Hugs98 documentation is now available via http://www.galois.com/~sof/hugs98.chm (HTMLHelp is the current Windows format for help files). --sigbjorn btw, no indexing, yet.