[isabelle-dev] Searchable archives of isabelle-dev

[Alexander Krauss]

Dear all,

This mailing list is becoming an important resource for 
development-related questions and discussions. To reflect this and make 
older discussions more accessible, the list archives are now mirrored at 
two public sites, which allow more convenient searching and browsing via 
a web interface:

http://www.mail-archive.com/isabelle-dev@mailbroy.informatik.tu-muenchen.de/
http://news.gmane.org/gmane.science.mathematics.logic.isabelle.devel/

Unfortunately, the second one messed up the order of messages while 
importing the existing archive. Nevertheless, browsing and searching 
works nicely.

Alex