Re: [isabelle] isabelle mailing lists



On Mon, 2012-10-29 at 14:50 +0100, Lars Noschinski wrote:
> As far as I know, the mailman software used on the list server does not 
> provide functionality to search in the archives.

http://wiki.list.org/display/DOC/How+do+I+make+the+archives+searchable 
might be a suitable starting point if one were ambitious to add such
functionality.

Best regards,
Tjark







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