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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev