[isabelle] isabelle mailing lists

[Christian Sternagel]

(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

[Lars Noschinski]

On 29.10.2012 04:43, Christian Sternagel wrote:
> 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?

As far as I know, the mailman software used on the list server does not
provide functionality to search in the archives.

-- Lars

[Tjark Weber]

On Mon, 2012-10-29 at 14:50 +0100, Lars Noschinski wrote:
> As far as I know, the mailman software used on the list server does not
> provide functionality to search in the archives.

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

[Makarius]

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

[Lars Noschinski]

On 16.11.2012 14:28, Makarius wrote:
> 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.

Me and Johannes are responsible for "administrating" the isabelle-dev
mailing list, but the mailman installation is administrated by our tech
guys.

-- Lars