9 Nov
2005
9 Nov
'05
10:28 a.m.
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