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