Mizar 2.1 and...an idea
Posted: 04 May 2006, 10:50
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
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