[isabelle-dev] Isabelle World Map

[Lawrence Paulson]

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