[isabelle-dev] Isabelle World Map

Makarius makarius at sketis.net
Fri Jan 24 13:34:40 CET 2014

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).


More information about the isabelle-dev mailing list