[isabelle-dev] Community Wiki again

[Makarius]

On Fri, 13 Apr 2012, Christian Sternagel wrote:

> Maybe it would be a good idea (for externals and developers) to have 
> some "recipe" (e.g., at the community wiki)

This touches again the question of what the community wiki is, or what is 
could be.  So far I am not a member there, because I don't want to 
maintain even more things, and there should be also an open space for a 
genuine community.

This also means that the wiki is not a definitive source for 
administrative information.  This does not mean that there couldn't be 
explanations and further hints, how to do certain things smoothly.


 	Makarius