> 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