Page 1 of 1

Mizar 2.1 and...an idea

PostPosted: 04 May 2006, 10:50
by Nicola Rizzuti
Hello!
First of all: you can download Mizar 2.1 at
http://digilander.libero.it/mizarchessengine/
I have updated 'Papers' section too.
Thanks to: Dann Corbit for his support; Slobodan R. Stojanovic and Leo Dijksman for bugs reports.

Now, an idea for 'Moderator Team': maybe it would be useful to have a thread or a forum section only dedicated to new engine or new release announcements, with automatic pruning of old post.
Think about it.

Nicola

Re: Mizar 2.1 and...an idea

PostPosted: 04 May 2006, 11:06
by Volker Pittlik
Nicola Rizzuti wrote:...maybe it would be useful to have a thread or a forum section only dedicated to new engine or new release announcements, with automatic pruning of old post.
Think about it.

Nicola


We will do :-)


Volker