Is there a searchable version of the Orocos-Users Archives?

All,

Is there a searchable version of the archive? I've not been able to find
it...

Thx.

Joe

Is there a searchable version of the Orocos-Users Archives?

On Wed, Oct 24, 2012 at 03:13:07PM -0400, Joe Hays wrote:
> All,
>
> Is there a searchable version of the archive? I've not been able to find it...

I usually use the excellent gmane:

http://news.gmane.org/gmane.science.robotics.orocos.user

Though for some reason it doesn't seem quite up to date.

Markus