[isabelle-dev] Isatest

Makarius 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, 
>>> 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: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 mailing list