Email Gateway (Aug 19 2022 at 08:53): 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
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
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
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
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: Nov 21 2024 at 12:39 UTC