[isabelle-dev] Isabelle World Map

Tobias Nipkow nipkow at in.tum.de
Fri Jan 24 13:41:37 CET 2014

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.


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

More information about the isabelle-dev mailing list