[Date Prev][Date Next] [Chronological] [Thread] [Top]

Re: New Mizar articles

A. Trybulec wrote:

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

Where are the protect mode executables?  I am using version 5.2.30 and
none of the protect mode programs is in it.

-- 
Piotr (Peter) Rudnicki