On Wed, Nov 09, 2005 at 11:21:02AM +0100, Christian Maeder wrote: > I've no idea and could not reproduce the bug. Our program is at > http://www.informatik.uni-bremen.de/cgi-bin/cgiwrap/luettich/hets.cgi > > Enter i.e "sort s" or "spec S = {}" as specification.
I did and I saw a screen with a reference to the Hets Manual, but no other links, buttons, etc. > The tools list is extended automatically, after a response? There is an > odd entry "Parsec, HOpenGL" Someone hasn't read the instructions :-) BTW, is there a way to update my entry? I forgot to mention one of the best tools I use - Parsec :-( Best regards Tomasz _______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell