Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] isabelle mailing lists


view this post on Zulip Email Gateway (Aug 19 2022 at 08:53):

From: Christian Sternagel <c-sterna@jaist.ac.jp>
(I'm sending this only to isabelle-users, since I guess anybody on
isabelle-dev will also be on the former.)

Dear mailing list admins,

a slightly annoying difference between the official mailing list archives of

https://lists.cam.ac.uk/pipermail/cl-isabelle-users/index.html

for users and

https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

for developers, is that the latter does not appear to have a search
facility (the unofficial variants also listed on
https://isabelle.in.tum.de/community/Main_Page have, but somehow it
would feel "better" if the "official" archive would support searching).

Would that be easy to change?

cheers

chris

view this post on Zulip Email Gateway (Aug 19 2022 at 08:54):

From: Lars Noschinski <noschinl@in.tum.de>
As far as I know, the mailman software used on the list server does not
provide functionality to search in the archives.

-- Lars

view this post on Zulip Email Gateway (Aug 19 2022 at 08:54):

From: Tjark Weber <webertj@in.tum.de>
http://wiki.list.org/display/DOC/How+do+I+make+the+archives+searchable
might be a suitable starting point if one were ambitious to add such
functionality.

Best regards,
Tjark

view this post on Zulip Email Gateway (Aug 19 2022 at 09:22):

From: Makarius <makarius@sketis.net>
Is there actually any active admin for the isabelle-dev list? On the
other hand it works fine as is, unlike several other TUM-based services
that are rather short on admin resources.

Myself I don't mind searching via "unofficial" services.

Makarius

view this post on Zulip Email Gateway (Aug 19 2022 at 09:23):

From: Lars Noschinski <noschinl@in.tum.de>
Me and Johannes are responsible for "administrating" the isabelle-dev
mailing list, but the mailman installation is administrated by our tech
guys.

-- Lars


Last updated: Mar 29 2024 at 08:18 UTC