Help
Build instructions for Windows (and other systems) are now found in the ProB source distribution in the file doc/building.md.