makarius at sketis.net
Fri Mar 30 11:57:30 CEST 2012
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,
>>> 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:hoelzl at in.tum.de>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
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.)
More information about the isabelle-dev