On Thu, Jul 31, 2008 at 06:53:15PM +0200, trybulec wrote: ... > > 2. It would be useful tool for reviewers, or for the Athors if they > would rather avoid problems with reviews. > > Could be it distributed with Mizar? How long it runs? The utility for cleaning the environment is useful for authors. Could it be distributed with Mizar. Cheers, -- Piotr Rudnicki http://web.cs.ualberta.ca/~piotr