Re: efficiently viewing Unix timestamps as dates

[Ted Zlatanov]

On Fri, 17 Dec 2010 10:25:47 +0200 Eli Zaretskii <eliz@gnu.org> wrote: 

>> From: Ted Zlatanov <tzz@lifelogs.com>
>> Date: Thu, 16 Dec 2010 17:12:23 -0600
>> 
>> '(("[0-9][0-9][0-9][0-9][0-9][0-9][0-9][0-9][0-9][0-9]"

EZ> Is something wrong with "[0-9]\{10\}"?

I was working on it (trying to refine the range) and forgot to post the
update.  I'll post it when I convert to a minor mode; my last version
was "\\<[0-9]\{8,11\}\\>" but that's not as nice as "[0-9]+" if you're
editing the text.

Ted