15 Apr
2010
15 Apr
'10
9:21 a.m.
but later in the comments I show an example with data families which fails on both 6.10.4 and 6.12.1.
Ah, I think I misinterpreted your comment, when I read it for the first time. Thanks for pointing me at it again. But I still don't see whether or not the two examples are related. At least the error is different. Sebastian -- Underestimating the novelty of the future is a time-honored tradition. (D.G.)