Bastien <b...@gnu.org> wrote: > Hi Carsten and all, > > Carsten Dominik <carsten.domi...@gmail.com> writes: > > > since we did make a change to Org a while ago to allow date stamps > > without the name of the day, I think it is only consequent to also do > > it for this case. Must have slipped our attention back then. > > The only thing we must ensure is that this regexp matches fast > > as it is used a lot. > > > > Nick's proposal works, except for the fact that is also matches when > > the time is directly attached to day name. Maybe it is cleaner to > > not match in this case. > > > > If we are going to make the day name optional, then it is better to > > include matching of the whitespace after the date into the day-name > > part of the regexp. > > Agreed. > > > I am attaching Nick's file again, with a third proposal for an > > updated regexp. > > I tested it from reproducer.org (had to add a missing parenthesis) > and it seems to work fine. > > Carsten, please feel free to apply a patch with your new org-ts-regexp0 > proposal against master HEAD. >
I think he did already (but please check!): commit 7d84b300f4cba8b726662113d4ce4ff40a76c5b5 Thanks, Nick
