Re: [isabelle] isabelle mailing lists

On 29.10.2012 04:43, Christian Sternagel wrote:

for users and

for developers, is that the latter does not appear to have a search
facility (the unofficial variants also listed on 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.