Although it would certainly be nice if our hosts would make it easier
with the tools Art mentions, a regular Google site search seems to work

This syntax generated 291 hits (though not our most recent discussion):

text inset



-----Original Message-----
[mailto:framers-bounces at] On Behalf Of Art Campbell
Sent: Monday, May 05, 2008 5:52 AM
To: Reng, Dr. Winfried
Cc: Framers at
Subject: Re: site down

Archive searching is an add-on "option" in Mailman.

The code doesn't include a built-in search tool, but the open source
community has provided several patches that create several flavors of
tools -- if they're installed. Other lists use a free Google Group as an
archive, and there are a number of free (and pay) public sites that also
archive lists. The owners of have elected not to use
these options....


On Mon, May 5, 2008 at 3:31 AM, Reng, Dr. Winfried <wreng at>
> Hi,
>  But did you ever search anything in this archive?
>  There is a separate file per month. You cannot  search the whole 
> archive in one go. In my oppinion  not usable.

Reply via email to