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
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
