(Created page with 'In case that you want to compile ProB from Source on Windows, here are some information about the setup: Required: # Sicstus (4.1.3) # Visual Studio 2005 # Cygwin & svn') |
(Replaced by new documentation in source repo) Tag: Replaced |
||
| (7 intermediate revisions by one other user not shown) | |||
| Line 1: | Line 1: | ||
Build instructions for Windows (and other systems) are now found in the ProB source distribution in the file doc/building.md. | |||
Build instructions for Windows (and other systems) are now found in the ProB source distribution in the file doc/building.md.