[isabelle-dev] Isabelle World Map

[Tobias Nipkow]

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