[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

  https://lists.cam.ac.uk/pipermail/cl-isabelle-users/index.html

for users and


https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

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?

cheers

chris





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