[isabelle-dev] Searchable archives of isabelle-dev

Alexander Krauss krauss at in.tum.de
Mon Nov 15 17:20:43 CET 2010

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:


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


More information about the isabelle-dev mailing list