Re: [mizar] Private DB

[Michael Nedzelsky <MichaelNedzelsky@yandex.ru>]

On Thu, 21 Sep 2006 02:47 pm, Freek Wiedijk wrote:
> 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!

Hi, Freek,
 the Mizar wiki is at http://wiki.mizar.org

 I just have corrected the link to the tutorial. You can see it on the first 
page, subsection  "Mizar Documentation".

Michael