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

Re: Protect Mode



> > 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?)

Files: verifier.exe, paccom.exe and naccom.exe you can find inside
the zipped file mizsysp.exe,  which is inside the distributed file 
disk1.* in ver5.2.30.beta too.

-- Roman 
   (romat@mizar.org)