[isabelle-dev] Isabelle World Map

[Makarius]

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.


 	Makarius