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

Re: Protect Mode

> > >
> > >          Real Mode                Protect Mode
> > >     ----------------------------------------------
> > >           mizar                    verifier
> > >           accom                    paccom
> > >           extract                  export
> 
> > 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/

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

export.zip is indeed there but I cannot find verifier or paccom anywhere.

-- 
Piotr (Peter) Rudnicki