Re: [mizar] Private DB

[Piotr Rudnicki <piotr@cs.ualberta.ca>]

Freek,

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

PR

On Thu, Sep 21, 2006 at 12:47:57PM +0200, Freek Wiedijk wrote:
> Hi Piotr,
> 
> >Would it be possible to put your tutorial to the Mizar wiki?
> 
> Put it wherever you like (I wouldn't know where to find the
> Mizar wiki, sorry).  I just put the most recent version in
> 
> <http://www.cs.ru.nl/~freek/mizar/mizman.pdf>
> <http://www.cs.ru.nl/~freek/mizar/mizman.ps.gz>
> 
> So copy it there, or just put a link there, whatever you
> think is best!
> 
> Freek

-- 
Piotr Rudnicki        CompSci, University of Alberta, Edmonton, Canada
                      http://web.cs.ualberta.ca/~piotr