Wizard is a type-checker by Graeme Smith for [http://www.itee.uq.edu.au/~smith/objectz.html Object-Z] specifications written in LaTeX. The [http://www.itee.uq.edu.au/~smith/svrc/wizard_export.tar.gz original code] is written in C for Unix platforms. I managed to compile it under [http://www.cygwin.com/ Cygwin] for the windows platform. The binary is available [attachment:wizard.zip here].

Install

Unzip it anyhere. Add <where you unziped the file>/wizard/bin to your search path for wizard.exe to be called from anyware.

WinEdt Menu item

Options/Menu setup, add an Macro item <Object-Z Type Checker> to Accessories/Windows Accessories, or else where you like.

In Macro, fill in 

WinExe('','C:\wizard\bin\wizard.exe "%n%t" ','%p','Object-Z type check',1110,0,'', '', '%N.log'); CMD("Errors...");

(suppose you installed the type checker to C:\

In Requires File Filter, fill in 

%p\%n.tex

Select an icon for the type checker if you like to have an shortcut on the toolbar. Set the hint to "Object-Z Type Checker".