It is impressive first-year geographical reach, if not for absolute numbers.
What about a fully automatic system based on analysis of web server logs? Yet another approach: to associate the world map with the AFP, with a pin at every address from which an AFP entry has been accepted (whether activity continues there or not). Then it is strictly monotonic and relatively low overhead. But of course, setting it up for the first time would be a pain. Larry On 24 Jan 2014, at 12:41, Tobias Nipkow <nip...@in.tum.de> wrote: > I suggest we abandon it. I meant it as a PR gadget, but I don't think it > really > works well: the number of pins is not that impressive, and many are just > historical. > > Tobias > > On 24/01/2014 13:17, Makarius 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 _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev