Re: [isabelle] isabelle mailing lists



On 29.10.2012 04:43, Christian Sternagel wrote:
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?

As far as I know, the mailman software used on the list server does not provide functionality to search in the archives.

  -- Lars





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