Mizar 2.1 and...an idea

[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

[Volker Pittlik]

...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