[Xsb-development] xsb bug tracker

[<ki...@cs...>]

does anybody (but me) visit it?
I see a recent bug report from Carlos Damasio, which (unless I missed it)
he didn't send to this list. 

It has at least one more bug report (about variant/2), which I vaguely
remember was discussed here, but I don't remember if it was resolved etc.
Can somebody take a look at these and resolve/remove them from the system?

There is one more bug, aptly  entitled "I don't know", which has to do with
the XMC system. I don't think the poor guy ever got a reply since he posted
in on June 18.


	--michael