[isabelle-dev] Isabelle World Map
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