[isabelle-dev] Isabelle World Map

[Lawrence Paulson]

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