I wonder if it could somehow be wiki driven, so that people could edit it themselves? Larry
On 24 Jan 2014, at 12:17, Makarius <makar...@sketis.net> wrote: > 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 _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev