[isabelle] Isabelle around the world

Thanks to the work of Florian Haftmann and Tjark Weber and thanks to your
input we have recently added an item "Isabelle in your neighbourhood" to the
community page: http://isabelle.in.tum.de/community.html

If you would like to be added, just drop us a line - I think there are more
sites than the map shows.


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