From alexandergreyling5 at gmail.com  Sat Jul 13 08:24:50 2024
From: alexandergreyling5 at gmail.com (Alexander Greyling)
Date: Sat, 13 Jul 2024 08:24:50 +0200
Subject: [Ipe-discuss] Searching the archives
Message-ID: <CANhvg_bkDbHCZ3df6iFV2hYe_49CBy8Kt8xwuY+12C1JViKnKw@mail.gmail.com>

Hi

I have just joined this mailing list. Is there a way to search through all
the archives without viewing each month separately?

Regards
Alex
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.science.uu.nl/pipermail/ipe-discuss/attachments/20240713/8db535f4/attachment.html>

From marc.glisse at normalesup.org  Sat Jul 13 09:18:26 2024
From: marc.glisse at normalesup.org (Marc Glisse)
Date: Sat, 13 Jul 2024 09:18:26 +0200 (CEST)
Subject: [Ipe-discuss] Searching the archives
In-Reply-To: <CANhvg_bkDbHCZ3df6iFV2hYe_49CBy8Kt8xwuY+12C1JViKnKw@mail.gmail.com>
References: <CANhvg_bkDbHCZ3df6iFV2hYe_49CBy8Kt8xwuY+12C1JViKnKw@mail.gmail.com>
Message-ID: <e73a0045-0515-a5ab-825e-ffbb45094420@normalesup.org>

On Sat, 13 Jul 2024, Alexander Greyling via Ipe-discuss wrote:

> I have just joined this mailing list. Is there a way to search through all
> the archives without viewing each month separately?

In a search engine like google, you can enter

site:mailman.science.uu.nl/pipermail/ipe-discuss/ something

to search for something in the archives.

-- 
Marc Glisse