Help

Building ProB on Windows

Revision as of 15:35, 24 March 2022 by David Geleßus (talk | contribs) (Replaced by new documentation in source repo)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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

Retrieved from "https://prob.hhu.de/w/index.php?title=Building_ProB_on_Windows&oldid=5223"