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
This archive was generated by a fusion of
Pipermail (Mailman edition) and