branch back
Upgrade to MPS 3.1  RC2
RC3 update
Update to release 3.1
MPS64 VMOPTIONS
Corrected config of idea
Windows instructions started
Print replaced with log
Tabs removed
Porting to Python 3: url open, url parse and raw_input replaced
download File upgraded to Python3
Before trying in Cygwin
instructions about python3 extended
Before changing the workflow
Modified for building on Windows
Running tests on Windows
Stub for CBMC installer for Windows
Test updated
MPS installer prepared for Windows
Tests off, trying to run the installer