3 Aug
2006
3 Aug
'06
8:54 p.m.
Bastiaan Veelo wrote:
Waldek Hebisch wrote:
Yes, this is a bug. The following should fix it:
Great, thanks. This does not look like the definitive fix though, am I right?
I think it is definitive (I spent some to verifing this). -- Waldek Hebisch hebisch@math.uni.wroc.pl