[isabelle-dev] Isabelle World Map

Makarius makarius at sketis.net
Fri Jan 24 13:17:14 CET 2014

On Mon, 20 Jan 2014, Christian Sternagel wrote:

> I am back from JAIST (in Japan) to the University of Innsbruck again. 
> Could you please adapt the map accordingly.

I am forwarding this to isabelle-dev, since it is where administrative 
questions can be discussed.

What is the general maintenance situation of the world map?

It is fun to see Isabelle being used all over the globe, but about half of 
the pins seem to be outdated, just from what I happen to know about the 
people mentioned there.


More information about the isabelle-dev mailing list