Protect Mode

["Roman Matuszewski, Department of Logic" <ROMAN@hum.uw.bialystok.pl>]

> > 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 substitute in the ENV batch file "export" 
> > 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.

All of files, both Real Mode and Protect Mode, are in distributed
files, version 5.2.30.beta, available through ANONYMOUS FTP from:

main ftp site:      ftp://venus.ci.uw.edu.pl/pub/mizug/ver5.2.30.beta/

Warsaw mirror:      ftp://sunsite.icm.edu.pl/pub/mizar/ver5.2.30.beta/

Nagano mirror:  
             ftp://markun.cs.shinshu-u.ac.jp/pub/mizar/ver5.2.30.beta/


Please note, that file "export.zip" is separately added to 
distributed files in "ver5.2.30.beta" directory.

-- Roman Matuszewski

---------------------------------------------------------
Bialystok University, Department of Logic
Liniarskiego street 4, 15-420 Bialystok, Poland
phone:   +48 (85) 45-75-10,       fax: +48 (85) 45-74-43
e-mail:  romat@mizar.org  ,  roman@hum.uw.bialystok.pl
         ===============
----------------------------------------------------------