Re: Protect Mode

[Yozo Toda <yozo@aohakobe.ipc.chiba-u.ac.jp>]

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

actually I can find verifier.exe and paccom.exe in version 5.2.29.
(not included in 5.2.30.beta?)

any plan for documentation about those files?
for example, version5.2.29 contains three versions of accomodator;
accom.exe, naccom.exe, paccom.exe.

-- yozo.