Re: [isabelle] isabelle mailing lists

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

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