5 Oct
2005
5 Oct
'05
3:28 p.m.
Dear all, I discovered that in my patch there was is_a<whatever> that should have been an is_exactly_a<whatever>, so here's a new patch. Besides that, it contains all changes that I sent recently. Best wishes, Chris