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