Re: [mizar] Opinion to MML situation

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

Hello,

I would like to ask Adam Grabowski to give us some statistics before
we start reviewing reviewing.  Could we know how many articles have been

	- submitted to MML?
	- accepted?
	- sent to the authors for upgrade?
	- rejected? 

since the reviewing has been instituted. Introducing reviewing must
cause some initial delay and I am afraid that we are just in this
period.

I have been proposing to introduce reviewing for many years with the
primary motivation to give the Mizar authors some feedback and prevent
MML from becoming a trash-bin.  I do not believe that everything ever
written in Mizar should be collected in MML, even if the author hopes
for this to happen.  Thus human reviewing.

Cheers,

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