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

for users and

for developers, is that the latter does not appear to have a search facility (the unofficial variants also listed on 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.


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