[isabelle-dev] Isabelle World Map
lp15 at cam.ac.uk
Fri Jan 24 13:32:03 CET 2014
I wonder if it could somehow be wiki driven, so that people could edit it themselves?
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.
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
More information about the isabelle-dev