[Date Prev][Date Next] [Chronological] [Thread] [Top]

Re: [mizar] Private DB



Piotr:

>What I meant is that you develop it under wiki such that
>others could contribute.

Ah, I see.  No, that's not a way in which I prefer to work
(although I clearly see the great power of the wiki concept.)

Freek