Re: New Mizar articles

[Andrzej Trybulec <trybulec@math.uw.bialystok.pl>]

On Tue, 3 Mar 1998, ynakamur wrote:

> When he uses ENV bat file, heap over flow occures because of EXTRACTER.
> Is there good method to avoid heap over flow in this case?


The main programs of the Mizar system have protected versions. They do not
cause "Heap Overflow" if the memory is big enough. Their names:

         Real Mode                Protect Mode
    ----------------------------------------------
          mizar                    verifier
          accom                    paccom
          extract                  export

I guess Chen should substitue in the ENV batch file "eport" for "extract"

Andrzej Trybulec