[isabelle] isabelle mailing lists

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



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