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
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.
This archive was generated by a fusion of
Pipermail (Mailman edition) and