[isabelle-dev] Isabelle World Map

[Makarius]

On Fri, 24 Jan 2014, Lawrence Paulson wrote:

> I wonder if it could somehow be wiki driven, so that people could edit 
> it themselves?

I don't know how this is done technically, so I can't tell.

Socially, a wiki by itself merely accumulates rubbish.  In the best case 
it is just outdated like https://isabelle.in.tum.de/community/Main_Page
and in the worst case genuine junk added on purpose.

Wikipedia worked out, because they have substantial administrative 
structures around it (especially the .de one).


 	Makarius