On Fri, 30 Mar 2012, Lukas Bulwahn wrote:
On 03/30/2012 11:24 AM, Makarius wrote:
On Fri, 30 Mar 2012, Lukas Bulwahn wrote:
The webpage on the Isabelle (community) wiki,
https://isabelle.in.tum.de/community/Administration_of_the_isatest_facilities,
summarizes the agreement of this thread. If anyone wants to add or modify
the page, feel free to do so.
I am still not subscribed to this virtual whiteboard.
You need an account to add or change something in this wiki, please contact
<mailto:[email protected]>Johannes Hölzl.
I used to have a password for old "isanotes", but did not try very hard to
retrieve it yet.
There is a deeper question behind it: What is the "Community" Wiki anyway,
or what could it become. When Johannes explained the idea to me in
December, he did not say anything about using it for administrative
things. In the meantime we've also got the identity crisis of the
Mailing lists, which I have tried to address by making things more
explicit again on the website, like in the ancient days before its
community.html.
BTW, the Coq community wiki http://coq.inria.fr/cocorico is quite
successful, but it is really a community driving thing, and not even
mentioned on the official Coq website. (I would never go as far as
removing the link from the Isabelle website, though.)
Makarius_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
