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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
