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/[email protected]/
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
_______________________________________________
Isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
