![](https://secure.gravatar.com/avatar/1f1420d2f042c8497d63406a4033a676.jpg?s=120&d=mm&r=g)
9 Jul
2008
9 Jul
'08
8:25 a.m.
regenerated the cache
Excuse me my ignorance... what do you mean by that Arthur ? Alan On Wed, Jul 9, 2008 at 4:15 PM, Arthur Reutenauer < arthur.reutenauer@normalesup.org> wrote:
are there really two dots there? ..tma
Yes indeed Hans.
that's weird, i'm stymied
I saw that once, too, but regenerated the cache and didn't bother too much.
Arthur