Re: [isabelle] isabelle mailing lists



On Mon, 29 Oct 2012, Christian Sternagel wrote:

(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?

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





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.